clean up unparserfilternew to make it do less work that isn't printing
removed obsolete z3 translation
removed path indexing
modularize maude backend as test case for the AbstractKModule class
add pretty error messages for when backend does not support a tool
fix copyright
Merge pull request #1032 from dwightguth/error

add pretty error messages for when backend does not support a tool
fix accidental failure to bind krun options
fix bug with profiles in maven 3.2.2
Merge pull request #1036 from dwightguth/profile

fix bug with profiles in maven 3.2.2
fix z3 on windows machines that do not have ms vc++
fix missing classifier in pom
update readme because msvc++ is now packaged with binary
Merge pull request #1031 from dwightguth/defaultmodule

modularize maude backend as test case for the AbstractKModule class
make it clearer how to run K from an IDE
Merge pull request #1037 from dwightguth/z3-msvc

fix z3 on windows machines that do not have ms vc++
Merge pull request #1038 from dwightguth/ide

make it clearer how to run K from an IDE
Merge pull request #1030 from yilongli/remove-more-obsolete-code

Remove more obsolete code
Fix a bug in circularity detection of poset.
Adding a junit to test for circularity in subsorts.