scripts: introduce scripts/docs-headings.py for reformatting rst section titles in docs

Changes from this has already been committed in fbbe80e3322b and 8867673c8192.