Python: Avoid typed-ast dependency

The `typed-ast` package is being end-of-life'd soon. See python/typed_ast#179.
Moreover, it is causing issues when building with Python 3.11+. See
GaloisInc/cryptol#1491.  Thankfully, `typed-ast` is no longer required if you
use sufficiently new versions of `mypy` and Python. This patch raises the lower
version bounds to make it possible to shed the `typed-ast` dependency entirely.

.github/workflows/ci.yml

@@ -18,7 +18,7 @@ jobs:
     steps:
     - uses: actions/setup-python@v2
       with:
-        python-version: '3.7'
+        python-version: '3.11'
     - uses: abatilo/[email protected]
       with:
         poetry-version: 1.1.11
@@ -51,7 +51,9 @@ jobs:
         poetry install
     - name: Typecheck python code
       working-directory: ./python
-      run: poetry run mypy argo_client
+      run: |
+        poetry run mypy --install-types --non-interactive
+        poetry run mypy argo_client
     - name: Build
       run: |
         cabal build all

python/pyproject.toml

@@ -18,12 +18,12 @@ include = [
 "Bug Tracker" = "https://github.com/GaloisInc/argo/issues"
 
 [tool.poetry.dependencies]
-python = ">=3.7.0,<4"
+python = ">=3.8.0,<4"
 requests = "^2.26.0"
 urllib3 = ">=1.26.5"
 
 [tool.poetry.dev-dependencies]
-mypy = "^0.812"
+mypy = "^0.991"
 
 [build-system]
 requires = ["poetry>=1.1.4", "setuptools>=40.8.0"]