Add interface file for ew_collaborative_editor
Add headers to ew_collaborative_editor.eliom(i)