Made a couple of very minor fixes
More ACL2/HOL link support, including replacing PKGS.ml by PKGS.sml as requested by Mike.
Added missing file