Use `petsctools.AppContext`#4526

JHopeCollins wants to merge 4 commits intomainfiredrakeproject/firedrake:mainfrom

JHopeCollins/petsctools-appctxfiredrakeproject/firedrake:JHopeCollins/petsctools-appctxCopy head branch name to clipboard