Replace mir-semantics submodule with kompass

[mariaKt]

This PR replaces mir-semantics submodule with kompass. I used a copy of the branch kompass-setup (I did not want to edit directly without asking @tothtamas28), and rebased onto proofs, edited as needed.

• Remove mir-semantics submodule, add stable-mir-json as standalone submodule
• setup.sh: create venv, install kompass, build K definitions via kdist build kompass.*
• kmir commands use --haskell-target kompass.haskell / --llvm-lib-target kompass.llvm-library
• deps/kompass_release pins kompass version (kmir 0.4.213)

Tested with the following proofs

p-token

• test_process_approve
• test_process_approve_multisig
• test_process_close_account
• test_process_close_account_multisig
• test_process_freeze_account
• test_process_freeze_account_multisig
• test_process_get_account_data_size
• test_process_initialize_account
• test_process_initialize_account2
• test_process_initialize_account3
• test_process_initialize_immutable_owner
• test_process_initialize_mint_freeze
• test_process_initialize_mint_no_freeze
• test_process_initialize_mint2_freeze
• test_process_initialize_mint2_no_freeze
• test_process_initialize_multisig
• test_process_initialize_multisig2
• test_process_mint_to
• test_process_revoke
• test_process_revoke_multisig
• test_process_set_authority_mint
• test_process_sync_native
• test_process_thaw_account
• test_ptoken_domain_data

spl-token

• test_process_approve
• test_process_close_account
• test_process_close_account_multisig
• test_process_get_account_data_size
• test_process_initialize_immutable_owner
• test_process_initialize_mint_no_freeze
• test_process_initialize_multisig
• test_process_initialize_multisig2
• test_process_revoke
• test_process_sync_native
• test_spltoken_domain_data

[tothtamas28]

I verified the rebase and checked that the K files in the updated compass version (runtimeverification/kompass@c3d6857) are up-to-date with proofs, all look good to me.

[dkcumming]

This all looks great. But I think run-kmir-proofs.yml will be broken. This is the script that is used for KaaS iiuc.

It would be nice to merge with it working, but if that is going to hold things up in an annoying way it can be separate so I will approve now!

[dkcumming]

@yiyi-wang-rv Maria and I are discussing what feels like 2 paths for Kompass integrating with KaaS:

1. We can make a Kompass image;
2. We can build a KMIR and import the Kompass specific stuff;

It feels to me that 1. would be best. But we want you to weigh in. We are happy to meet if you need more context