Update docs, and add deployment instructions for pushing docs and website.