move all developer instructions to docs.petsc.org

We should move all developer instructions from

• https://www.mcs.anl.gov/petsc/developers/index.html
• https://gitlab.com/petsc/petsc/-/wikis/Home

to

• https://docs.petsc.org/en/latest/developers/

and update the information if needed.