python: add mypy to pipenv