An O'Caml plug-in for Eclipse