Make etags.sh executable
Fixes for getopt demo2.

Give up on the goal of suppressing Lisp banners by tweaking the getopt test
script to permit other text before the expected output.  Also tweaked
OSLIB::ARGV to accommodate the new handling of "--" in GCL.  This simplifies
the GNUmakefile by avoiding some Lisp-specific mechanisms.

I think this fixes #210 and fixes #211.  There is some chance that it might
also resolve issue 213, but I don't have a convenient way to run Lispworks and
Allegro so I haven't tried to investigate.

Patched acl2-bridge to avoid hl-hspace-init unless #+hons.  I think this
resolves #229.
4v-sexpr: fill out the sexpr-rewrites a bit more
Rager merge remote-tracking branch 'remotes/origin/master' into make-chmod
Fty::deftypes: Allow deflist/defalist with already-defined predicates
VL: fix bonehead scopestack performance bug; improve certification time of a couple critical books
Initial fix-up of google code references
Merge changes from acl2 community repo into ragerdl repo.
Changing my email address in the quickstart and making a wiki page reference slightly more canonical (it's actually case-insensitive, but the filename is sentence case).