Python readline extension.
