Adjusted travis config file, so that coverage info is generated and passed to the coveralls service.