Refactors to konvert and module_to_kore

[ehildenb]

This issue is to collect potential refactors to the konvert module in pyk:

• Separate out _kinner_to_kore.py (which would basically be most of _kast_to_kore.py), and _kouter_to_kore.py (which would basically be _module_to_kore.py and functions like _krule_to_kore in _kast_to_kore.py).
• Change the logic for handling attributes owise/priority/simplification on rules in _krule_to_kore.py to be a RulePass in _kouter_to_kore.py: Allow including lemmas dynamically into APRProver #4681 (comment)
• Separate out _krule_functional_to_kore.py and _krule_semantic_to_kore.py into their own individual functionalities: Allow including lemmas dynamically into APRProver #4681 (comment)
• Reuse new lifted structure for Kore axioms in generation of Kore text (Kast -> LiftedAxioms -> Axiom):
  • Refactor rule parsing #4699
  • Add method to_axiom to class Rule #4701
  • Fixes and improvements in module_to_kore #4704
• Extract submodules from _module_to_kore: Fixes and improvements in module_to_kore #4704 (comment)
• Group symbol productions by attributes before axiom generation in _module_to_kore: Fixes and improvements in module_to_kore #4704 (comment)