Remove code that calls KompileOptions.Backend.java()
fix substitution filter
fix npe
fix more bugs
fix Java search
add option for old behavior
fix broken tests in tests directory
fix ktest for strictness example
added the correct callcc-env2.lambda.out
fixed 4_imp++, except regex out for div in lessons 3 and 1
fixed non-confluece testing in simple
fixed non-confluent testing of fun
fix remaining broken tests in fun and types
fix missing file
fix strictness test (hopefully)
fix output of strictness test
Merge pull request #844 from dwightguth/uniform

Remove code that calls KompileOptions.Backend.java()
proved kernelc list reverse
proved kernelc sum_recursive
forgot to include .out files