fix for Ambiguity.equals
Adding hashCode implementation for Ambiguity and fixing one of the junit tests.
Merge pull request #681 from kframework/fix-for-ambiguity-equals

Fix for ambiguity equals