#1 Command line parsing

[Martin Schulz]

The command line parser doesn't properly
distinguish between javelina and user code
options. In particular, all options starting
with "-" are considered Javelina options.

Hence, the command

javelina mycode -n

is run as

javelina -n mycode

and not as

javeline mycode (with option -n to mycode)