mypy

gh-145305: Update ocert.org URLs in docs from http to https (#145304) #19711

Job	Run time
Run mypy on Tools/clinic	18s
Run mypy on Lib/test/libregrtest	21s
Run mypy on Tools/build	20s
Run mypy on Lib/_pyrepl	18s
Run mypy on Tools/check-c-api-docs	15s
Run mypy on Lib/tomllib	18s
Run mypy on Tools/peg_generator	22s
Run mypy on Tools/cases_generator	16s
Run mypy on Tools/jit	21s
	2m 49s

Provide feedback