mypy --install-types not freezing dependencies

[mccleeary-galois]

CI is currently broken due to a dependency update from mypy --install-types
This is needed due to GaloisInc/argo#195 (comment)

https://github.com/GaloisInc/cryptol/actions/runs/8324626968/job/22777200617

Current breaking change was on update from
types-requests-2.31.0.20240310 this successful log to types-requests-2.31.0.20240311 failing log

We need to freeze these dependencies in some way, there is some information here for requirementes.txt which we do not use directly but the information here should be helpful regardless. python/mypy#10600 (comment)