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.