Add notes on collecting all Logtalk core files in a single file for use with Lean Prolog