WIndowfying the maude paths on windows.
Merge pull request #1168 from kframework/fixWindowfy

WIndowfying the maude paths on windows.
Merge branch 'master' into parseInModule