Pager for mysql command line interface