Put coverage report in a separate directory for Jenkins