add category/prover correspondance in global report
Merge branch 'report' into acsl