ci: Edit Dockerfile.petsc and add docker-petsc.yml#2779

ZoeLeibowitz merged 1 commit intopetscdevitocodes/devito:petscfrom

update_dockerdevitocodes/devito:update_dockerCopy head branch name to clipboard