Simplify kimp run

[tothtamas28]

• Simplify the kimp run command line interface
• Add option --env to kimp run to pass and initial <env>
• Replace run_program by a method run that takes a Pattern and calls llvm_interpret on it
• Add methods parse, pattern and pretty
• Add color output support

[jberthold]

LGTM (but didn't test, just read through the code).

Maybe a good idea to update the README.md?
We should keep the documentation up to date and complete, and there is also still a docker command that references geo2a (leftover from the BOB24 tutorial)

[tothtamas28]

LGTM (but didn't test, just read through the code).

Here's the output of the smoke tests: https://github.com/runtimeverification/imp-semantics/actions/runs/11821219554/job/32935428888?pr=32#step:5:24

Maybe a good idea to update the README.md?

Good point. Fortunately, the command in README.md is compatible with this version (so it probably wasn't with the previous one):

kimp run examples/sumto10.imp

there is also still a docker command that references geo2a (leftover from the BOB24 tutorial)

I will take care of this in my next PR.