A readline wrapper