Use the event-handler for timers.

src/vm/event_handler.h

Index: src/vm/event_handler.h
diff --git a/src/vm/event_handler.h b/src/vm/event_handler.h
index 375b1c15703454a89512d1f66dea33c1327b1090..422f00d2f63ddb75297aec7217139f19a34821e3 100644
--- a/src/vm/event_handler.h
+++ b/src/vm/event_handler.h
@@ -6,6 +6,7 @@
 #define SRC_VM_EVENT_HANDLER_H_
 
 #include "src/shared/globals.h"
+#include "src/vm/hash_map.h"
 #include "src/vm/thread.h"
 
 namespace fletch {
@@ -26,6 +27,7 @@ class EventHandler {
   ~EventHandler();
 
   int GetEventHandler();
+  void ScheduleTimeout(int64 timeout, Port* port);
 
   Monitor* monitor() const { return monitor_; }
 
@@ -37,6 +39,9 @@ class EventHandler {
   int fd_;
   ThreadIdentifier thread_;
 
+  HashMap<Port*, int64> timeouts_;
+  int64 next_timeout_;
+
   int read_fd_;
   int write_fd_;