Fall back to prove TOML for RPC proof commands#1154

peter941221 wants to merge 2 commits into

runtimeverification:masterruntimeverification/kontrol:masterfrom

peter941221:fix/simplify-node-config-profile-fallbackpeter941221/kontrol:fix/simplify-node-config-profile-fallbackCopy head branch name to clipboard