remove maude backend and make java the default

**please review**
@cos @grosu you are the kore gatekeepers, does this sound like an acceptable solution? In particular it's the invariant mentioned in the above post that I would like to guarantee for all KItems.