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

WIndowfying the maude paths on windows.
Adding location information back to maude generated files.
Merge pull request #1169 from kframework/fixMaudeLocation

Adding location information back to maude generated files.