- with_pager(+Goal)[private]
- Send the current output of Goal through a pager. If no pager can be
found we simply dump the output to the current output. We wait for
the pager to terminate, so the toplevel does not print its prompt on
the screen the pager is using.