Start of a build-and-deploy script to easily push to gh-pages

However, this erases the history of the gh-pages branch, which
may not be desirable...