include coverage for travis ci