New features

• Context-free grammar learning with KV
• Visualization of classification tree for KV
• Random generation of CFGs
• Added AutoamtaSUL which can be used in place of all SULs found in AutomtataSUL.py
• Top-level imports, eg. from aalpy import run_Lstar
• add eq operator for DeterministicAutomata based on bisimilar