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
fix kast --directory
Merge branch 'kast-options' into krun-options

Conflicts:
	src/javasources/KTool/src/org/kframework/kast/KastFrontEnd.java
	src/javasources/KTool/src/org/kframework/kast/KastOptions.java
move test to new home
revert changes to kompile's --directory flag