git: add -P as a short option for --no-pager