line editing support for Python 