ServerConnection sends time as milliseconds

More accurate, and easier to be compatible with, the timestamps in the
logs.