Java backend: fixed a bug
a temporary hack-ish fix for the strategy language
fixed the annoying ListTerminator problem in the pretty printer
Java backend: implemented Mgu as a builtin and related unification functionalities to allow defining Logik as in the Maude backend
updated output files to match the results
Java backend: search: eliminated non-determinism
renamed the original Logik definition for the Java backend to logik1.k
tests/config: included (almost) all test programs for the logik definition of the Java backend