Added coverage checking to the Travis CI build.