Stop the integration tests http server when the tests end
The integration tests launch an HTTP server (tox.ini), but it is not stop after tests finish. This affect the developer running the integration tests, not the operator.
GitLab is used only for code review, issue tracking and project management. Canonical locations for source code are still https://gitweb.torproject.org/ https://git.torproject.org/ and git-rw.torproject.org.