Changed travis-ci config file to generate coverage file