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