RunAllProofs in UI

This MR adds an action (under `file -> prove -> run all proofs`) in experimental mode
that allows an automatically running of a user- and pre-defined set of proofs in the UI.

These proofs are defined via file (each line is a proof-file) and can be given  via `export KEY_RUNALLPROOFS_UI_FILE=...`.


See merge request key/key!335