gh-37522: Add mypy.ini

    
<!-- ^ Please provide a concise and informative title. -->
<!-- ^ Don't put issue numbers in the title, do this in the PR
description below. -->
<!-- ^ For example, instead of "Fixes #12345" use "Introduce new method
to calculate 1 + 2". -->
<!-- v Describe your changes below in detail. -->
<!-- v Why is this change required? What problem does it solve? -->
<!-- v If this PR resolves an open issue, please link to it here. For
example, "Fixes #12345". -->
Configuration from
#36198 (comment)
@fchapoton @jhpalmieri


### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [ ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation accordingly.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - #12345: short description why this is a dependency -->
<!-- - #34567: ... -->
    
URL: #37522
Reported by: Matthias Köppe
Reviewer(s): Frédéric Chapoton

src/mypy.ini

@@ -0,0 +1,7 @@
+# https://mypy.readthedocs.io/en/stable/config_file.html
+[mypy]
+python_version = 3.9
+
+# https://github.com/sagemath/sage/issues/36198#issuecomment-1709521850
+follow_imports = skip
+ignore_missing_imports = True