Update the readme file and some build scripts

Makefile

@@ -418,23 +418,7 @@ $(ULM_NO_CONTRACT_TESTING_OUTPUT_DIR)/%.run.executed.kore: \
 			parsers/test-ulm-testing-execution.sh
 	mkdir -p $(ULM_NO_CONTRACT_TESTING_OUTPUT_DIR)
 
-	echo "<(<" > [email protected]
-	echo "::bytes_hooks" >> [email protected]
-	echo "<|>" >> [email protected]
-	cat $(ULM_CONTRACTS_TESTING_INPUT_DIR)/bytes_hooks.rs >> [email protected]
-	echo ">)>" >> [email protected]
-
-	# echo "<(<" > [email protected]
-	# echo "::ulm" >> [email protected]
-	# echo "<|>" >> [email protected]
-	# cat $(ULM_CONTRACTS_TESTING_INPUT_DIR)/ulm.rs >> [email protected]
-	# echo ">)>" >> [email protected]
-
-	echo "<(<" >> [email protected]
-	echo "$<" | sed 's%^.*/%%' | sed 's/\..*//' | sed 's/^/::/' >> [email protected]
-	echo "<|>" >> [email protected]
-	cat "$(shell echo "$<" | sed 's/\.[^.]*.run$$//').rs" >> [email protected]
-	echo ">)>" >> [email protected]
+	compilation/prepare-rust-bundle.sh "$(shell echo "$<" | sed 's/\.[^.]*.run$$//').rs" "[email protected]"
 
 	krun \
 		[email protected] \
@@ -460,53 +444,7 @@ $(ULM_WITH_CONTRACT_TESTING_OUTPUT_DIR)/%.run.executed.kore: \
 			parsers/test-ulm-testing-execution.sh
 	mkdir -p $(ULM_WITH_CONTRACT_TESTING_OUTPUT_DIR)
 
-	echo "<(<" > [email protected]
-	echo "::address" >> [email protected]
-	echo "<|>" >> [email protected]
-	cat $(ULM_CONTRACTS_TESTING_INPUT_DIR)/address.rs >> [email protected]
-	echo ">)>" >> [email protected]
-
-	echo "<(<" >> [email protected]
-	echo "::bytes_hooks" >> [email protected]
-	echo "<|>" >> [email protected]
-	cat $(ULM_CONTRACTS_TESTING_INPUT_DIR)/bytes_hooks.rs >> [email protected]
-	echo ">)>" >> [email protected]
-
-	echo "<(<" >> [email protected]
-	echo "::test_helpers" >> [email protected]
-	echo "<|>" >> [email protected]
-	cat $(ULM_CONTRACTS_TESTING_INPUT_DIR)/test_helpers.rs >> [email protected]
-	echo ">)>" >> [email protected]
-
-	echo "<(<" >> [email protected]
-	echo "::helpers" >> [email protected]
-	echo "<|>" >> [email protected]
-	cat $(ULM_CONTRACTS_TESTING_INPUT_DIR)/helpers.rs >> [email protected]
-	echo ">)>" >> [email protected]
-
-	echo "<(<" >> [email protected]
-	echo "::state_hooks" >> [email protected]
-	echo "<|>" >> [email protected]
-	cat $(ULM_CONTRACTS_TESTING_INPUT_DIR)/state_hooks.rs >> [email protected]
-	echo ">)>" >> [email protected]
-
-	echo "<(<" >> [email protected]
-	echo "::single_value_mapper" >> [email protected]
-	echo "<|>" >> [email protected]
-	cat $(ULM_CONTRACTS_TESTING_INPUT_DIR)/single_value_mapper.rs >> [email protected]
-	echo ">)>" >> [email protected]
-
-	echo "<(<" >> [email protected]
-	echo "::ulm" >> [email protected]
-	echo "<|>" >> [email protected]
-	cat $(ULM_CONTRACTS_TESTING_INPUT_DIR)/ulm.rs >> [email protected]
-	echo ">)>" >> [email protected]
-
-	echo "<(<" >> [email protected]
-	echo "$<" | sed 's%^.*/%%' | sed 's/\..*//' | sed 's/^/::/' >> [email protected]
-	echo "<|>" >> [email protected]
-	cat "$(shell echo "$<" | sed 's/\.[^.]*.run$$//').rs" >> [email protected]
-	echo ">)>" >> [email protected]
+	compilation/prepare-rust-bundle.sh "$(shell echo "$<" | sed 's/\.[^.]*.run$$//').rs" "[email protected]"
 
 	krun \
 		[email protected] \