Include milliseconds in log timestamps.

[jcsteh]

This will make it possible to measure response time in logs. We almost always want things to respond faster than one second, so second granularity is useless for this purpose.

I used the technique suggested in this Stackoverflow answer.

[feerrenrut]

Looks good, could you add an example of the output?

[jcsteh]

Looks good, could you add an example of the output?

Did you mean as a code comment or just on this PR? Here's an example:

Without this PR:

IO - inputCore.InputManager.executeGesture (09:17:40):
Input: kb(desktop):v

With this PR:

IO - inputCore.InputManager.executeGesture (09:17:40.724):
Input: kb(desktop):v

[feerrenrut]

Great, thanks! I did just mean on this PR. But now that you mention it. It could be a useful comment in the code... except that it will likely get out of sync with the code. On the other hand, its probably not something that changes that often. I think I've come full circle, I think a code comment would be good, despite the risk that it gets out of sync with the code, it would make it much faster for someone reading this code to understand what the output would look like.