Documentation content

There are two distinct targets, even if some content is mostly shared between the two for some parts:

- the user documentation, that will go to the website
- the internal documentation, for developers
Generate and deploy documentation

This commit
- configures a build process in order to generate documentation html files
- sets an automatic deploy of the generated documentation resources to the gh-pages branch done by travis after a successful build on the `stable` branch.