Merge branch 'jed/promote-examples-tests-tutorials' [petsc/petsc!2610]* jed/promote-examples-tests-tutorials: Promote examples/{tests,tutorials}/ to {tests,tutorials}/
123