Update the readme file and some build scripts

Makefile

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