make the maude backend output more deterministic
fix copyright
make the sorting less intrusive to non-confluent definitions
update kool transition to use rule tag
fix code review comments
use search pattern for kool cycle
Merge pull request #711 from dwightguth/maude-order

make the maude backend output more deterministic