A pager for the Blackbox window manager