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
proved mirror example
Merge branch 'unified-builtins2' into prove-kernelc-tree-examples

Conflicts:
	samples/kernelc/kernelc-syntax.k
fixed failing tests
Merge pull request #865 from yilongli/prove-kernelc-tree-examples

Prove kernelc tree examples
reimplemented BuiltinList and separated ListUpdate to a different class
re-re-implemented BuiltinList.Builder; fixed frame variable computation of AC collection; fixed BuiltinList JUnit test
Safely borrowing SDF lexical syntax into the new parser.
Passing the exception to the error manager to make it available for the --debug option.
fix #800
on windows escape kompile and pdf arguments too(for consistency with previous commit)
Fixing the warning message for left/right tags.
Merge pull request #875 from kframework/newParserImprovements

Safely borrowing SDF lexical syntax into the new parser.
fixed concurrent modification exception on pendingElements; added TODO comment
implemented a naive unification algorithm for BuiltinLists
renamed Collection#size() to Collection#concreteSize()
proved inorder, preorder, and postorder examples