Upstreaming pyk functionality

[ehildenb]

Pulling issue from this list: https://github.com/runtimeverification/ksummarize/issues/82

• Move a test that doesn't actually need a kompiled definition from integration tests to unit tests.
• Adds methods module_names, production_for_klabel, production_for_cell_sort, and empty_config to KDefinition.
• The type SymbolTable is now an alias for Dict instead of Mapping, which makes it behave nicer when the symbol table needs to be patched.
• Factor out method build_claim and KCFG.Edge.to_claim, instead of passing a boolean into build_rule.
• Adds class Bool to the pyk.prelude, which has helpers for constructing common Bool patterns.
• Rename method simplifyBool => simplify_bool.