Automate documentation build

[rlupton20]

Travis CI could build and deploy the documentation.

Currently the documentation is built with hugo and then pushed by hand. Ideally we'd build and deploy automatically on tags (and perhaps check the documentation builds as part of CI).