* code_map/completion2.ml: use G.gmain_timeout_add