Use Travis instead of Travis pro with Coveralls