Fix the project documentation and add its build to Travis so that it updates automatically when an updated is pushed to github.