The PETSc bratu2d example in petsc4py on GPU