Fix #20 Implements Latch-event at the user-level. Can allocate a latch-event with OCR_EVENT_LATCH_T. Introduced satisfyEventSlot, to be able to satisfy the latch on its OCR_EVENT_LATCH_DECR_SLOT and OCR_EVENT_LATCH_INCR_SLOT