modularize maude backend as test case for the AbstractKModule class
fix copyright
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
Merge pull request #1031 from dwightguth/defaultmodule

modularize maude backend as test case for the AbstractKModule class