Fix oversight with REALLY_USE_QUICKLISP in makefile
remove ansi_only from oslib cert.acl2,
this may break the gcl build temporarily but I think it's the right thing to do...
More aggressive fix for *default-hs*, and miscellaneous tweaks for ACL2(hp).

Various mods now prevent _some_ ACL2(hp) regression errors.  However,
I still get "Not owner of hash table" in some book certification
attempts for ACL2(hp), even when *default-hs* is introduced with
defvar in parallel-raw.lisp before the definition of
consume-work-on-work-queue-when-there.  I spent quite some time today
trying to figure out why we still get that error, and got virtually
nowhere, though from the debugger I can see that it's from
hl-hspace-hons-get.  Since ACL2(hp) is labeled "experimental" and I
have other things to do, I'm moving on; besides, I think it's been a
long time since an ACL2(hp) regression passed.  If someone cares to
deal with that, great!
Adding documentation for with[out]-waterfall-parallelism.

Fixes #266
Adding licenses to a with[out]-waterfall-parallelism.lisp.

Fixes #267
Include xdoc in with-waterfall-parallelism

I forgot to include the book.
Fix defunct call of mf-note-arity in watch-raw.lsp, to avoid
problems with SBCL regression

Maybe we should get rid of this watch stuff, yo.
avoid trying to certify read-string on gcl-cltl1 since that doesn't work
fix stupid typo in my fix...
Merge pull request #268 from ragerdl/master

2 CLs
avoid trying to certify getpid on gcl-cltl1 since that doesn't work
another gcl-cltl1 fix
Merge remote-tracking branch 'remotes/origin/master' into tsmemo
Trivial change to test methodology
Merge pull request #269 from ragerdl/beta

Trivial change to test methodology
Fix bug with define

Thanks for the bug report.

Define was attempting to arity-check the number of :returns given in a
returns-specifier against the stobjs-out property of the function.

This is normally a good thing to do, but doesn't work in the case of
multiply-valued non-executable functions, because their stobjs-out property
always looks like (NIL), presumably because MV is just LIST in a non-executable
setting.

This just patches define not to do this check in the case of non-executable
functions.  I think this is about as good as we can do, since in principle a
non-executable function doesn't need to have a consistent number of return
values, e.g.,

  (defun-nx f (x)
    (if x
        x        ;; one return value
      (mv x x))) ;; two return values

This resolves #270.  There are new cases in std/util/tests/define to verify the
fix.
Made cpu-core-count sensitive to environment variable ACL2_CORE_COUNT.

Quoting :doc note-7-0:

  (ACL2(p) and ACL2(hp) only) The function [Cpu-core-count] is now
  sensitive to environment variable ACL2_CORE_COUNT. See
  [cpu-core-count]. Thanks to Jared Davis for requesting this
  enhancement.

Tweaked :doc case, thanks to feedback from Ben Selfridge.
Enabled part-install-width-low
Added missing close-paragraph tag.
Merge remote-tracking branch 'remotes/origin/master'