travis: missing coverage generation added