Merge branch 'master' into unified-builtins2
Merge pull request #886 from dwightguth/unified-builtins2

Merge unified builtins from master
fix copyright
Merge pull request #888 from dwightguth/unified-builtins2

fix copyright
Merge pull request #887 from kframework/unified-builtins2

Merge unified builtins2 into master
fix race condition on kompiled directory
Adding a timestamp to generated files in .k to make it easier to track the last version.
Merge pull request #892 from dwightguth/parallel

fix race condition on kompiled directory
Merge pull request #895 from kframework/fileFormat

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