Add Travis CI and Coveralls badges
Fix CI configuration