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
Properly escaping list separators when printing to SDF.
Removing StringUtil.escape/unescape since their behavior is better captured by quoteString and unquoteString.
serialize context instead of trying to recreate it
fix restoring options after serialization
fix loading of stuff in kast and krun
remove dependency on jopt-simple
Merge pull request #749 from dwightguth/serialize-context2

serialize context instead of trying to recreate it
Merge pull request #750 from dwightguth/jopt

remove dependency on jopt-simple
Revert "Removing StringUtil.escape/unescape since their behavior is better captured by quoteString and unquoteString."

This reverts commit 52469659906869b58b3d3c056bf9938b55417c7c.
Making more clear the separation between K Strings and the strings used for SDF.
Forgot about the jj files.
fix .classpath, deleting jopt
fix ktest to use JCommander