added builtin size operation for collections

Conflicts:
	include/builtins/list.k
	include/builtins/map.k
	include/builtins/set.k
progress on heap patterns
heap patterns work; reverse proved
reverse proved also with the content sequence constraint; some refactorings
refactored list, map and set k files
fixed issue introduced by changes in the sort infrastructure; fix issue with wrongly constructed KItems
some fixes for JS; added all hooks for builtin maps
remove extraneous io exceptions + improve generic infrastructure for logging errors
fix KException to keep the Throwable around
fix ktest paths in debugger
fix colors that were broken by krun branch :(
Merge pull request #740 from dwightguth/ktest-paths

fix ktest paths in debugger
Merge pull request #741 from dwightguth/color

fix colors that were broken by krun branch :(
fixed CompileDataStructures pass
fixed timeout problem
added unit test
Merge pull request #743 from yilongli/fixing-issue-#738

fixing issue 738
Properly escaping list separators when printing to SDF.
Removing StringUtil.escape/unescape since their behavior is better captured by quoteString and unquoteString.
Merge pull request #732 from dwightguth/ioexception

remove extraneous io exceptions + improve generic infrastructure for log...