bind more of the readline API (based on python's readline module)