removed getWebProverName

Avoid qualification.

Remove proverOrConsCheckerName.

Raname removeFunnyChars to mkNiceProverName.

Move ProverOrConsChecker to Proofs.AbstractState.

Move internalProverName to Formatting, define proverOrConsCheckerName in terms of it.

Directly use G_prover and G_cons_checker for `provers` Instead of passing the names of the provers, we now pass the G_prover itself. This way we get more possibilities for formatting.

Use consistent naming of provers Instead of the prover set in the ProofStatus object, we use the Prover set in the proving/consistency-checking functions. This allows us to be sure to have the prover object and use the same name-retrieval functions as in the provers/consistency-checkers command.

Move showProversOnly to Formatting module.

Move some formatting functions to a new Formatting module.