add coverage generation for jenkins