Utils.tokenize() now throws on null.
Fix log levels (etc) getting lost.

We now edit the log sink after creation so any settings are ironed out,
whether present before .log_to or defaulted.
Clean up FileNotFoundException handling in LogSettingsManager.
Fix compiler error in LogSettingsManager.
Fix NullPointerException in Commands without args.
Change Log message in Console.execute().
ConsoleInputManager handles EOF better.
Add diagterm demo. A simple text console.
Add SetCommand.