Better documentation for the travis-ci stuff