Autogen documentation

[Domomod]

Automatic documentation generation and deployment
First:

• Setup TravisCI
• Use TravisCI to run a script generating a doxygen documentation.
• Use TravisCI to push newly generated documentation onto gh-pages
• Change setting to use gh-pages as source of Github Pages.