Cannot install tvmc. No module named tvm.driver.tvmc

[tqchen]

likely the latest doc is in sync with main