Original changelog.md
Updated changelog.md.
Added info about switching to JCommander
Incorporated Grigore's comments.
Added copyright
Small edits addressing concerns.
capitalized CHANGELOG
Merge pull request #786 from kframework/changelog

Changelog