GNU readline extension for Python
