Travis: automatic doxygen generation and publish to github

Every time a pull-request is merged into master, the developer Doxygen docs are automatically updated and pushed to the website.

closes #63