crete-svm-node does not refer to correct klee name

[moralismercatus]

The name of the crete-klee executable has been changed to crete-klee-1.3.0. This change was not reflected in crete-svm-node's fallback routine that looks in PATH when the user declines to provide a path to crete-klee.

The relevant line: https://github.com/SVL-PSU/crete-dev/blob/master/lib/cluster/svm_node_fsm.cpp#L651

Solution is simple. Change crete-klee to crete-klee-1.3.0