GNU readline: interactive line editing and history capabilities
