Remove gitlab.torproject.org from ssh-jumphost

Since gitlab.torproject.org is accessible from outside the internal network, it can be removed from ssh jump host configuration.

Using a separate branch instead of mixing stuff in the previous merge request.