new: a text editor à la CoqIDE