runhugs args

[Jeffrey R Lewis]

Runhugs as of Oct 2002 handled command-line args supplied by #! 
scripts.  HEAD however, doesn't.

Here's the issue.  Given a script named `foogle-script' that starts 
with...

#! /usr/bin/runhugs -98 -h20000

runhugs will be given the following arguments:

arg0: /usr/bin/runhugs
arg1: -98 -h20000
arg2: foogle-script

Note that the `-98' and `-h2000' have been collapsed to a single arg. 
This is bizarre, but apparently it's what linux does.  The problem is 
that loadHugs will treat the argv like a normal one, and will expect 
the `-98' to be a single argument.

I've tweaked processOptions to eat spaces and continue after it has 
processed each toggle group (not checked in).  Do people think this is 
cool, or does anyone have an opinion about a better solution?

--Jeff