A Python implementation of Ex editor