[RFC] TVM Target Specification

Development pre-RFC
60

In other words, in compile time, IIUC we should replace DLDeviceType with TargetKind