Refactor foundry_get_model and print_failure_info

[palinatolmach]

As suggested by @tothtamas28, the function foundry_get_model(...) introduced in #1946 should produce a data structure (maybe FoundryModel | None). Function print_model can be a method on this class (without the "Failed to ..." branch). Function print_failure_info then can be redefined as

def print_failure_info(kprint: KPrint, proof: Proof, *, model: FoundryModel | None = None) -> list[str]:
    ...

In addition, as suggested by @nwatson22, print_failure_info in KEVM should be further refactored to use the print_failure_info function that was added to pyk to separate the printing from the RPC calls here: runtimeverification/pyk@6c28b66.