switch fast-cat to use include-raw, fixes #262
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