Migrate remaining information in src/docs/ to doc/
This is related to #1016 in that it makes sense to have the data only required for the docs build in the doc/
tree, and only things that relate to the configuration/build of the PETSc library in src/
.