patched cil semantics in order to run program binary_search_tree
updated bst.cil.c; included bst example in regression test
Merge pull request #49 from yilongli/java_rewrite_engine

patch cil semantics to run bst example