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_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_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