rdline: add a pager that can be used by user-defined commands