examples mypy.ini