Initial manual implementation of CSE

[ehildenb]

Blocked on: runtimeverification/pyk#817
Blocked on: runtimeverification/evm-semantics#2256
Blocked on: #308
Blocked on: runtimeverification/pyk#832
Blocked on: #313
Blocked on: #325

This is an initial attempt at implementing the infrastructure needed for CSE, and some other small cleanups. In particular:

• We allow importing other proofs/executions as summaries when running a given test via the --include-summary option.
• We fix a minor issue when generating module names with _ in them.
• We add a test of CSE working by displaynig the KCFG with the summaries being used.

You can try this example yourself manually with:

kontrol prove --verbose --foundry-project-root src/tests/integration/test-data/foundry --match-test 'ArithmeticContract.add(uint256,uint256)'
kontrol prove --verbose --foundry-project-root src/tests/integration/test-data/foundry --match-test 'ArithmeticCallTest.test_double_add' --include-summary 'ArithmeticContract.add(uint256,uint256)'

Then show the test_double_add function test.