Added a tool for checking hol_defaxiomsTheory matches corresponding ACL2. (Not sure what has chaged in LTLScript.sml!)