Recording actions for the inspection report

The EyeC ProofRunner has buttons that are used to record actions in the report and that always refer to the selected suspicious area.