Integrate with Travis CI and Coveralls, and display badges