Python readline extension.

WWW: https://github.com/ludwigschwardt/python-gnureadline
