git --paginate: paginate external commands again