Server can dictate which logging kernel uses

And will, in the server setup, have server and kernel use the same logging mechanisms.
This commit also removes usages of java.util.logging from server in favor
of the console logger in kernel.
Merge pull request #2125 from tinwelint/1.9-server-logging

Server can dictate which logging kernel uses