Added support for arbitrary global values to be initialized from the command line using -g
Fixed up global option
Changed way prepended k3 files are specified

Now, a comma-separated list will load the first files before the last one (which is the true program)
Fixed up batch.hs