Moved initial memoization from startup to before saving an image.  This saves about 5% of an "everything" regression time.
Wacky Merge branch 'master' of https://github.com/ragerdl/acl2