Adding location information back to maude generated files.

@traiansf or @dwightguth please review