[DO NOT MERGE] Add Database.dump_pruned

[junrushao]

This PR has been decomposed into 5 and sent separately to mainline:

• https://github.com/apache/tvm/pull/14781
• https://github.com/apache/tvm/pull/14782
• https://github.com/apache/tvm/pull/14783
• https://github.com/apache/tvm/pull/14784
• https://github.com/apache/tvm/pull/14785

[junrushao]

Closing as all the changes have been committed to mainline