Change gitlab repository name to include version
This fixes an issue caused by gitlab repositories soft-delete for 7 days before they are fully deleted. If we remove a repository in order to upload new binaries, we need to be able to create a new one right away. See https://bugs.torproject.org/33034