Merge branch 'tor-docs' into 'master'

Makes sure that Tor is installed so that docs can compile

See merge request !39
Status Job ID Name Coverage
  Test
passed #152261376
lint_yaml_files

00:00:38

passed #152261375
pages

00:00:52

 
  Deploy
passed pages:deploy

00:00:02