Add Sphinx doc building to Travis

Please don't merge this until we are sure that the tests aren't going to fail
for no reason on a regular basis, as they do with SymPy bot.

**TODO**

- [x] Fix the build error (inconsistent term references in translated message)
- [ ] Add building of pdf docs with latex if possible (can we install DejaVu Sans Mono in Travis?)