remove maude backend and make java the default

**please review**
I would like to keep it; it defines the LTL API that Traian's work on model checking will have to support. We can make adjustments to that API of course, but it needs to stick around as a base, otherwise we'll have to redo everything from scratch.