make the maude backend output more deterministic

@traiansf please review

The Maude backend had some issues that were making the output to maude JVM dependent. I added some code whose purpose is to ensure that the ordering and numbering of rules is the same accross different Java versions.
The problem might be that =K (unlike ==K) is not guaranteed to evaluate, so you might end up with a stuck term there.