Test with Proof, build on Travis CI and report test coverage with Coveralls.