Updates to handle packages; also addition of jvm M1 model

Minor changes: Avoid Lisp hang, ignore .svn directory for diffs

Updated to the latest version (3.4) of ACL2 and did some
reorganization and addition to support regression testing.

Pathnames only need to be edited in one place now:
.acl2holrc.bash

Edited and added README files. In particular, tests/README explains
how to run the new tests.

Deleted lisp/defaxioms.lisp.trans, an updated version of which is now
in tests/round-trip/gold/axioms.lisp (corresponding to ACL2 Version
3.4).

Tweaks to paths + update to a2ml.csh

Lisp/ACL2 and shell script files by Matt Kaufmann to support HOL-ACL2 link.