More GSoC numerical projects

- Fleshed out description of PetSC integration
- Added proposal to work on IterativeSolvers
- Standardized sentence casing for headings and three-line separation
  between projects
- Other minor language and formatting fixes