Rest of the command line becomes arguments for the payload.

This standardizes our method of running a payload: run a shared object with
argc/argv.  No special treatment for the jvm.

At present, a single command is available, "setargs".

   scripts/imgedit.py setargs /path/to/image arg0 arg1 arg2...

to set the boot arguments.

Make some room for the command line and other future additions.

Java likes upper case in class file names.

It expects penv to point to something.

except for the floating point functionality for now.

* 'master' of github.com:cloudius-systems/osv:
  libc: implement semaphores
  printf: fix printf("%d", -1)
  disable floating point support in *printf and *scanf
  import libc/stdio from musl
  wire up ioctl()
  implement vectored writes in the console driver
  use the stock mktemp implementation from musl now that we support clock_gettime
  add a setbuf() stub
  add clock_gettime and supporting functionality

Please it together w/ other definitions

Conflicts:
	libc/printf.cc

We did not account for negative numbers, oops.

This would require pulling in libm, for which we aren't ready yet.

note that as of now all functioanlity related to file or pthread locking
is not implemented or stubbed out.

* 'master' of github.com:cloudius-systems/osv:
  main: minimal nanosleep() test
  libc: implement nanosleep()
  sched: add sleep_until()
  sched: fix segfault switching a thread back to itself
  kvmclock: fix for physical mapping changes
  build: disable the x86-64 redzone for now
  implement dup3()

Longer term it should be nice not to allocate the bars at all

Since we don't have an idle thread yet, if a thread is woken up that was
last running, we end up calling switch_to() for the current thread, which
breaks badly.  Add a test for this case.