[Fix bug 894299] Enable coverage reporting on jenkins script