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)