Allow user to specify pager executable
Currently it is possible to specify the pager executable with the
PAGER environment variable, but this is cumbersome when a specific pager option like
-r is needed to prevent output of control codes on the terminal. Then everyone has to manually set
PAGER temporarily for one application. This change allows the user to specify with a string the pager to use.