Fixed bug: bad options name in system.args

The command line parser of Mozilla normalized all parameters, by removing the leading - and
by separating options and values. We should keep the original options names and values in system.args.