Return permutation in qr when pivot=true to match documentation
Merge pull request #7803 from daviddelaat/qr

Return permutation in qr when pivot=true to match documentation