progress on proving bst find in kernelc
added tree pattern for kernelc
added kernelc programs with main
commented out broken part of the tree pattern
changed upper case in lower case in kernelc requires
fixed kernelc and the examples with main to work with each other
fixed copyright
fixed whitespaces
Merge pull request #839 from andreistefanescu/kernelc_extra

fixed a few issues with kernelC; added examples with main functions