Avoid cost computation for rules in rule sets like simplify, concrete, simplify_prog etc.

Author: unp1

key.core/src/main/java/de/uka/ilkd/key/strategy/DelegatingRuleAppManager.java

@@ -0,0 +1,4 @@
+package de.uka.ilkd.key.strategy;
+
+public class DelegatingRuleAppManager {
+}