remove shared .k generation in maude backend

If this works as expected this means that we finally get rid of all dotk directories left on the filesystem.