readstring: string interface for readline