fix some maude stuff + add tests for it
Merge branch 'unified-builtins2' into maude-stuff
Added a check to test for duplicate module names.
add known issue to readme
update readme text
Merge pull request #673 from dwightguth/readme

add known issue to readme
Merge branch 'unified-builtins2' into duplicateModule
Renaming IO to K-IO in file io.k
Revert "Renaming IO to K-IO in file io.k"

This reverts commit 922232d91a3153e890fa7e597d9c354b3769850b.
Renaming the correct IO modules.
Merge pull request #671 from kframework/duplicateModule

Added a check to test for duplicate module names.
fix maude specific hack in mint.k to be more general
Merge branch 'unified-builtins2' of github.com:kframework/k into unified-builtins2
remove undesirable hack from --pattern
Merge pull request #668 from dwightguth/maude-stuff

Maude stuff
fix for Ambiguity.equals
Merge pull request #680 from dwightguth/pattern

remove undesirable hack from --pattern
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
Updating the error message for unbound variables. Fixing issue #684.