WIndowfying the maude paths on windows.

@dwightguth please review.
We should also consider having Jenkins run all the tests at least once per day, on all platforms.