A editor for the terminal