Tiny C readline library, note: this is not used in CLI-readline's one.