Improved StoneAsteroid splitting logic further. Still not perfect.
Switch TaskScheduler from using system time to game ticks.
Much more efficient, much more safe, much easier to control.
Also it now uses float and int, which work a little bit faster.

Much more important though, it doesn't use long anymore, which does not
exist in JavaScript and therefore needs to be wrapped in another class
by GWT, which reduces the performance.