Export TIR to json

Thanks @SebastianBoblestETAS . TVM already have a reflection based mechanism to serialize IR nodes (includin TIR and other functions) as json format.

So it would be great to see if that functionality can be used directly for the usecase you have in mind.