Update Lean Prolog minimum required version to 3.8.6 as it fixes a critical bug in the `retract/1` standard built-in predicate