Add badges of Travis CI and Coveralls