Finalize (GNU) readline use

[dbosk]

See this for an example: https://pymotw.com/3/readline/

That might help to fix what's in the readline branch.

[dbosk]

Maybe we don't have much use of readline.