add coverage badge, test travis ci config