Use the upstream Tor package

Use the upstream tor package from https://deb.torproject.org at:

• The Docker image.
• The provision script.