fix superheating and supercooling for java backend
Merge branch 'master' into superheat-supercool

Conflicts:
	kernel/src/main/java/org/kframework/compile/transformers/AddSuperheatRules.java
Merge branch 'master' into superheat-supercool
fix two broken tests
fix undesirable nondeterminism in callcc in lambda++
fix remaining lambda++ tutorial lessons
Merge pull request #1225 from dwightguth/superheat-supercool

fix superheating and supercooling for java backend