[RFC] Optionally include object file generation in tvmc

My code review is what TQ said. When we call export_library, we could save a.tar or a.so. If we save a.tar, which contains the object file (like a.o), this is different with tvmc's tar collections.