Removal of the Proof Collection Parser #3030

Tests

• ✅ key.core.testgen:test [no report files] (13 succeeded)
• ✅ key.core:test [no report files] (2919 succeeded, 104 skipped)
• ✅ key.core:testProveRules [no report files] (196 succeeded)
• ❌ key.core:testRunAllFunProofs [no report files] (29 succeeded, 5 failed)
• ✅ key.core:testRunAllInfProofs [no report files] (29 succeeded)
• ✅ key.removegenerics:test [no report files] (45 succeeded)
• ✅ key.ui:test [no report files] (5 succeeded)
• ✅ key.util:test [no report files] (158 succeeded)
• ✅ keyext.exploration:test [no report files] (3 succeeded)
• ✅ recoder:test [no report files] (14 succeeded, 15 skipped)