More robust timer handling in GTK: never create a new timer when one
is already active.

[originally from svn r4159]