https://pypi.python.org/pypi/gnureadline
The standard Python readline extension statically linked against the GNU readline library.