add script for generating the docs and pushing them to github-pages
add a TODO