Fix travis coverage run, and add badges.