Check coverage with Travis.