modularize maude backend as test case for the AbstractKModule class
fix copyright
fix accidental failure to bind krun options
Merge pull request #1031 from dwightguth/defaultmodule

modularize maude backend as test case for the AbstractKModule class