Text editor

We plan to use Climacs as the text editor. Climacs is quite usable, even though it could use some work to fix some quirks.

To be filled in. Parsing framework, incremental redisplay, scrolling, etc.