Deprecate Production.getLabel
Merge pull request #712 from kframework/deprecate_getlabel

Deprecate Production.getLabel
fixing-issue#709
removed equality/disequality over map/list/set
fixed failing samples
Merge pull request #713 from yilongli/fixing-issue#709

fixing-issue#709
make the maude backend output more deterministic
fix copyright
make the sorting less intrusive to non-confluent definitions