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.