Added deployment script

For the time being, we'll make a local copy of the repo, switch to `gh-pages`
branch, commit to it, and push.