Fix travis again, add coverage badge