[docs] fix the edit page buttton link in docs (#17933)

Fixes #17870 

The current docs `edit` the page button gives a 404.
This PR edits the sphinx `config.py` and configures the edit button url
to the `master` branch of this repository.

Author: Mr-Sunglasses

docs/source/conf.py

@@ -107,6 +107,12 @@
 # a list of builtin themes.
 html_theme = "furo"
 
+html_theme_options = {
+    "source_repository": "https://github.com/python/mypy",
+    "source_branch": "master",
+    "source_directory": "docs/source",
+}
+
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.