trace : Sort and reorder trace tags by tag_class and tag_name#7714

NikolajBjorner merged 1 commit intoZ3Prover:masterZ3Prover/z3:masterfrom

IamYJLee:trace/tag-name-sortingIamYJLee/z3:trace/tag-name-sortingCopy head branch name to clipboard