Test that Travis now fails when coverage is too low