Case insensitive filter prover
Remove the generation of shortcut from the section header of prover-data-conf and make the filtering of prover case insensitive.
TODO: check that for all prover it will not change the shortcut or add an explicit one
FYI @x-ABlanc