HomeSoftware Heritage

mypy.ini: be less flaky w.r.t. the packages installed in tox