Uniswap: summary of initialization of configuration

[mariaKt]

This PR includes the following changes:

• the summarized rule that replaces the initial configuration with the one for UniswapV2SwapRenamed, if we identify the input as UniswapV2SwapRenamed.
• a configuration variable that denotes whether the compiled input is the UniswapV2SwapRenamed test. It is currently boolean, and can be changed to an enum when we have more inputs to identify. If true, we apply the the summarized rule.
• update to krun-sol to read the new configuration variable
• new input files for the configuration variable all tests, true/false as needed

The mechanism used to apply the summarized rule is matching the contents of the new cell, to apply either the summarized rule or the initial rewrite rule

rule _:PragmaDefinition Ss:SourceUnits => Ss

, because for some reason I cannot figure out the priority does not help here.

[dwightguth]

the semantics itself looks fine, but I'd like us to tweak the test suite so that it's a little less messy to add the additional parameter.

[dwightguth]

let's make krun-sol optionally take a third argument rather than making it required, and let's make the tests in test/regression automatically not pass that optional value, rather than adding a bunch of additional files to the test suite and breaking the interface of krun-sol.

[mariaKt]

Addressed. krun-sol has now an optional 3rd argument, that defaults to false. The tests in regression do not pass this argument.