Updated Builtin collections to handle substitution internally
Optimizing the substitution/evaluation operations.
suppressing unchecked warnings
stupid merge bug
Patch for issue 8
Added both rules from the issue report.
evaluating the start configuration before rewrite.
Adding ktest
Kompile - partial work on variable type inference.
Merge branch 'master' of https://github.com/kframework/k
Added ImprovedArrayDeque which implements equals()  and hashcode()
Adding -help option to ktest.
PAtch for ListBuiltin to dissolve inner structs.
Similar patches should be written for other collections.
Updated BuiltinList to handle updates, too.
updated the tests config.xml
Updated test to remove the store map