Test Prose and travis-ci