proved kernelc list head example
proved kernelc list tail
proved list add example
list swap example requires the prover to be able to unroll the list pattern more than once in a single step
proved kernel c list swap example
proved kernelc length_recursive example
forgot to include output files
fixed and generalised the implementation of map difference operation
proved kernelc list deallocate
restructured directory according to Andrei's binary_search_tree examples
Merge branch 'unified-builtins2' into prove-kernelc-list-head

Conflicts:
	samples/kernelc/kernelc-syntax.k
	src/javasources/KTool/src/org/kframework/backend/java/kil/ConstrainedTerm.java
	src/javasources/KTool/src/org/kframework/backend/java/kil/KItem.java
cleaned up the code
revised spec file to use the more concise notation
addressed Andrei's comments
Merge pull request #849 from yilongli/prove-kernelc-list-head

proved a few kernelc list examples