A Python implementation of Ex editor with some minimalistic IDE features.