Added code to allow Maude to work on Windows. The only thing extra we need to do is covert the cml-refine.maude path to Cygwin format.
Merge branch 'origin/sdf'