Also changed the game_update() interface to take dt in seconds as a
double (rather than milliseconds as an unsigned integer) as we're now
computing the refresh interval as a double anyway (by querying the
display mode). To my eye (and on my machine), all chunkiness is now
gone; the game feels very smooth.
