gitolite: Redirect tor.git to Gitlab

Hello,

Network team is ready to have tor.git on Gitolite to be redirected to Gitlab and thus become canonical repository:

https://gitweb.torproject.org/tor.git -> https://gitlab.torproject.org/tpo/core/tor

Thanks!