Original changelog.md
Updated changelog.md.
Added info about switching to JCommander
Incorporated Grigore's comments.
Added copyright
Small edits addressing concerns.
capitalized CHANGELOG
update documentation for K 3.4 release
fix Traian's comment
fix Grigore's comments
Merge pull request #786 from kframework/changelog

Changelog
fix copyright
fix copyright again
delete by order mark ???
Merge pull request #793 from dwightguth/release

update documentation for K 3.4 release
updated ant pack and chenged capitalization to chaangelog
fix old cygwin dll to work with some more versions of windows
fix dos file warning that breaks krun with new cygwin dll
Merge pull request #797 from dwightguth/cygwin

Fix cygwin for k 3.4
FIx Windows line endings regex problem.