mypy stub generator