Use readthedocs theme locally

This PR does two things:

- Change to the readthedocs theme locally, so that the local and online docs look the same
- Build the docs on travis-ci so that we know the docs build works before merging pull requests