Automate documentation deployment

[diestrin]

We use github pages for the docs, but right now it's a manual process to deploy them.

We can use a package like https://github.com/tschaub/gh-pages or https://github.com/meandavejustice/gh-pages-deploy