Merge pull request #1 from acl2/master

Testing reverse pull request
Wacky Merge branch 'master' of https://github.com/ragerdl/acl2
Moved the definition of load-compiled, so that it will be compiled.  Thanks to Camm Maguire for noticing that it was running interpreted.
Word-wrap the README

README.md is rather hard to read in a text editor since it's not
word-wrapped.  This commit word-wraps it.
Fix Markdown style

To make README.md even easier to read in a terminal, I replaced some
literal HTML formatting with the equivalent Markdown syntax.  In
particular I moved some URLs away from the location where they were
being linked to.
Implemented great suggestions from Jared Davis for improving our
original soundness bug fix, for CCL and (now) GCL with #+static-hons,
that called clear-memoize-tables when executing hons-wash.

- The fix now applies to hons-clear as well.  In fact our original
  proof of nil that exlpoited the hons-wash bug also applied with
  (hons-clear t) in place of hons-wash.

- For control-c safety, clear-memoize-tables is called as a first step
  in hons-wash and hons-clear.
Updated doc.lisp to match books/system/doc/acl2-doc.lisp
Merge pull request #263 from kini/readme

Make README.md easier to read as plain text
Changing some references from googlecode

Changing some references from googlecode to github.com in Readme.md
Merge pull request #265 from ragerdl/beta

No changes
Added missing local special declaration of *default-hs* for ACL2(hp).

All I did was to add special declaration for *default-hs* under its
let-binding in consume-work-on-work-queue-when-there.  I agree that as
per CLHS, this shouldn't be necessary, though perhaps I'm missing
something.  (For example, I didn't check whether Lisp is required to
make special variables thread-local, so for all I know, maybe CCL has
a right not do that unless the special declaration is explicit.)

I'm surprised at Jared's comment, "But that doesn't seem to work
either", when he tried something similar.  But anyhow, this fix
seems to work.
Removed ignorable declaration for *default-hs* in let-binding in consume-work-on-work-queue-when-there, now that suitable special declaration is present.
Merge remote-tracking branch 'remotes/origin/master' into tsmemo
simplify multithreaded memoize build stuff
patch up memo tests to work on acl2(hp)