Adding a timestamp to generated files in .k to make it easier to track the last version.
Merge pull request #895 from kframework/fileFormat

Adding a timestamp to generated files in .k to make it easier to track the last version.