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
remove undesirable hack from --pattern
Merge pull request #668 from dwightguth/maude-stuff

Maude stuff
Merge pull request #680 from dwightguth/pattern

remove undesirable hack from --pattern
Merge branch 'unified-builtins2' into krun-options

Conflicts:
	src/javasources/KTool/src/org/kframework/krun/Main.java
	src/javasources/KTool/src/org/kframework/ktest/Test/TestCase.java