Merge branch 'jolivet/no-device-no-petscdevice' into 'main'

Add `--with-devicelanguage` to make PETSc a C library again

Closes #997

See merge request petsc/petsc!8783

PetscDevice: remove C++ dependency when using --with-devicelanguage=C