Added coverage badge, updated travis