[workaround] Jerky mouse on Linux

[dgud]

Micheus:
I'm guessing here:
The problem seems to be that wings doesn't flow control the mouse events, the mouse events
comes from a separate thread that is faster than wings can handle.
Which means that wings get overloaded and the gui-thread can produce even more mouse events.
I have worked hard to make wx thread to check events often to get mouse events, because I thought
that was the problem before. Seems I have succeeded ;/

Ravo:
I would say this is a bug in wings, but until we know how to solve this Micheus workaround is the only
solution.

I can build the wings-linux.run packages, so I could upload tests for you.
Someone used RedHat and the run package doesn't work there I suppose.