Adding location information back to maude generated files.
Merge pull request #1169 from kframework/fixMaudeLocation

Adding location information back to maude generated files.