Leading zeros for time display.

Time is now shown with leading zeros.

7:9 is now 07:09
10:5 is now 10:05
Actually, it's not possible with the `texts` library, I wasn't aware that *GameTime* uses it. I'll add functionality for that in a bit. In the meantime you can change this to what I said above, that should work as an intermediate solution.