Fix Coveralls integration
Add CI badges