Add kompile feature to pyk.ktool

[tothtamas28]

This can be done on two levels:

1. A function kompile that does some simple validation on its parameters, then invokes kompile as a subprocess.
2. A class, perhaps Kompiler, that fixes some kompile parameters, and wraps a KDefinition to transparently manage its recompilation on modification. It can expose methods like add_sentence that mutate the wrapped KDefinition.

[tothtamas28]

Relevant discussion: #2538 (comment)

[ehildenb]

I'm working on replacing the KEVM runner script (kprove and kompile portions) with calls into pyk. I'll add the needed kompile features to pyk to achieve this.

[ehildenb]

runtimeverification/evm-semantics#1258