Seperating source and deploy

Source files are kept in the master branch while generated files
are deployed in the gh-pages branch. This arrangement follows
the recomandation from github.