Fix travis-ci configuration for coverage generation.