[RFC] Setting up Mypy type checking for TVM codebase

[junrushao]

@jroesch Is there anything we can do in the CI to enforce type annotation for new code?