Convert many examples to java backend

**do not review yet**
OK, let's not do this then, it is more important to clean up the framework.  However, please add an issue to github to keep track of it.  We should basically export the functionality of the unifier in the K API, and then be able to just hook it to KLabels like update MGU, applyMGU, etc.