I/R: Fix default --isabelle path in repl.py#167

dominic-mulligan-aws merged 1 commit intomainawslabs/AutoCorrode:mainfrom

ir_pathawslabs/AutoCorrode:ir_pathCopy head branch name to clipboard