Fix coverage in .travis.yml; add build and test coverage badges