Changed Travis CI configuration, trying to fix Cobertura failing