Add possibility for the to disable the use of submergers when set by default by the administrator. This is now achieved by setting the parameter PROOF_UseMergers to -1.
Changed paths: