Use a pager for usage() if running in a terminal, improve check for terminal in notify()