Fix a bug in timer.cc.
Make server.pids an std::map (instead of a GTree).
Make urgent_list an std::list.