Add eventchn.to_int

This allows event channels to be added to maps etc