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.