bashrc: Explicitly set PAGER to make man(1) behave better