Upgrade to newer PSF

Author: kostis

install.sh

@@ -8,7 +8,7 @@ readonly SCRIPT_DIR
 readonly PATCHES_DIR="${SCRIPT_DIR}/experiments/patches"
 
 
-readonly PROTOCOLSTATEFUZZER_COMMIT="658a49d"
+readonly PROTOCOLSTATEFUZZER_COMMIT="c3f6e7ca771048e719462b415f5f54c31ce2bf42"
 readonly PROTOCOLSTATEFUZZER_REP_URL="https://github.com/protocol-fuzzing/protocol-state-fuzzer.git"
 readonly PROTOCOLSTATEFUZZER_FOLDER="ProtocolState-Fuzzer"