Split up contributing/development docs

This page has become massive and merits being split into two pages.
Also, it affords the opportunity of getting rid of an ambiguous header
name that causes confusion.

Fixes #10830.
Merge pull request #12204 from terminalmage/docs

Split up contributing/development docs