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

Deprecate Production.getLabel