AutoPerf: Refactorings and minor changes #3124

This serves as a base to other coming changes to the taclet indices and the automatic. These changes are chosen to not be controversial (and working).

Changes: * Adds some performance counters (log level trace, close to 0 overhead) to allow some reasoning about why the automatic is slow * Remove unused parameters * Annotations * Minor changes to the rule app index * Logging: Timings of proof loading, log levels of tests, remove spammy logs or reduce level