Adding badges for travis-ci and coveralls