Rewrite Simplify

[danielbinder]

Currently, simplify only works for simple formulas that can be directly simplified.

We want to extend that functionality in the following way:

1. We want a fast and easy simplification method. E.g. convert everything to a conjunction of clauses and simplify that.
2. We want a step by step variant with all the simplification rules that are currently in Simplification:53 i.e. the solution path should only apply these rules until the simplest version of the formula is reached.

The metric for a simple formula is (non-distinct) operatorCount + variableCount.

Tasks:

• Go through the 'I want to make a change' checklist
• Create the 2 simplification methods in the backend
• Make sure to add solution information for both of them
• Add them to the Servlet (replacing the simplification method)
• Split the Simplify button in the frontend into 2 (i.e. use the appropriate doublebutton style in css that already exists)
• Name the buttons Simplify | fast where Simplify is the rule based approach and fast is the other one.