add a push script for pushing to gh-pages
the html