Update the `logtalk_tester` shell script man page to reference Lean Prolog