Collect additional statistics from data basis

For instance, the following statistics might be interesting:

- Get the best configuration for a specific contract, language construct etc.
- Get the worst configuration for a specific contract, langauge construct, etc.
- Get the ratio of to what extent a specific option was succesfull (i.e., when optionA was selected, successrate was 100%)
- Get the best overall configuration for provability (the one that closed the most)
- Combine the best overall configuration with the successrate of an option
- Give a sorted list of configuration with infos such as how many proofs were closed with this one and how often was the configuration applied. Maybe also which contracts were closed and which were not.
- Give a sorted list of subjects (proofs) with infos, such as which configurations were the fastest...