Remove trailing whitespace in source files.
More ACL2/HOL link support, including replacing PKGS.ml by PKGS.sml as requested by Mike.