remove reference to libTheory.lookup_def from closedReplDecsScript.sml

seems to work because the underlying theorem changed to use ALOOKUP
instead