- System.exitWith now raises a (new) exception,
	ExitException ExitCode.

- While I was there I cleaned up System.getArgs and
  System.getProgName, using foriegn label and removing progargs.c