different approach for docs

I would like to look at a scheme where we do not commit auto-generated documentation into this repository, but instead populate a separate repository with auto-generated documentation and generate a website (github pages perhaps) from that. We could set up  a CI to automate the process. Travis CI or whatever.