Actually have travis-ci run coverage this time