Revert some of the changes to travis configuration file made while trying to activate coveralls