remove shared .k generation in maude backend
Merge pull request #1064 from osa1/maude-no-dotk

remove shared .k generation in maude backend