tor-browser: add ticket #3994 (Get TorBrowser in Debian)
tool-continuous-integration: add travis-ci
tool-continuous-integration: add some details about Jenkins