Fix Travis CI configuration and add support fo Coveralls