remove maude backend and make java the default

**please review**
It still works; they are implemented as hooks in the java engine. It is only the janky tcp mechanism for communicating with maude that has been affected. There are a few hooks that were implemented in maude only, but these can be reimplemented as needed.