Adding an alias from assocs to patbind-assocs.

Fixes #286
Including b* into hons-check memoize-tests.lisp.  If someone cares, they can change it from a b*.  Fixes #matt's email :D
Merge pull request #312 from acl2/testing

Bring in changes from testing