Merge branch 'docfix' into 'master'

Changed title of documentation

See merge request !340

docs/deploy.rst

-Deploy
-======
+Deploying CIRCLE
+================
 
 
 This tutorial describes the installation of a production environment. To
 This tutorial describes the installation of a production environment. To
 have a fully working environment, you have to set up the other components
 have a fully working environment, you have to set up the other components