Doc

- Some tweaks to get the documentation building again.
- Build docs with Travis.