fixed whitespaces
Merge pull request #839 from andreistefanescu/kernelc_extra

fixed a few issues with kernelC; added examples with main functions
included kernelc execution examples to regression test suite
fixed a bug in my fast rewriting algorithm
revised tests/config to test fast execution only
addressed Andrei's comments
Merge pull request #836 from dwightguth/datastructurenewline

add newline between elements in a constructor of a data structure in the...
Merge pull request #837 from yilongli/temporary-fix-for-issue-789

temporary fix for issue 789
Merge pull request #841 from yilongli/add-kernelc-execution-tests

Add kernelc execution tests
Merge pull request #835 from dwightguth/kompileoptions

add documentation to KompileOptions.Backend
add Cell2DataStructure to RuleCompilerSteps
Merge pull request #843 from dwightguth/unified-builtins2

add Cell2DataStructure to RuleCompilerSteps
added location and source information to Java backend Rule
revised head_spec
Merge pull request #830 from yilongli/prove-simple-list-head

Prove simple list head
temporary fix for issue 850
Merge pull request #847 from yilongli/add-loc-and-source-info-to-Java-backend-rule

added location and source information to Java backend Rule
Merge pull request #851 from yilongli/temporary-fix-for-issue-850

temporary fix for issue 850
z3 temp commit
changes to the prover to support bst find