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

WIndowfying the maude paths on windows.