proved avl insert, delete, and find
fixed .out files
refactored jj grammar for the outer parser
Improving warnings for ambiguous constants, improving grammar for tokens.
Started to work on adding case insensitive Terminals into K.
Found the bug in VARID reject.
Adding a test for the improved regex grammar.
Merge pull request #864 from yilongli/prove-more-kernelc-list-examples

prove more kernelc list examples
fix bug in #854 for data structures with >2 elements
Found the bug in the MaudeFilter.
Merge pull request #866 from dwightguth/whitespace

fix bug in #854 for data structures with >2 elements
Merge pull request #861 from andreistefanescu/unified-builtins2

Unified builtins2
smtlib translation for sorts and function declarations
added error message when variable sort is not supported
Merge pull request #863 from kframework/outerParser

Outer parser - improving lexical expressions and adding case insensitive keywords
Merge pull request #868 from andreistefanescu/unified-builtins2

SMTLib translation for sort and function declaration and lemmas
proved kernelc tree height and size examples
added lemma and smt support for proving the find example
proved kernelc tree find example
revised the smt translation of bool2Int