make PdfBackend coding guidelines compliant
fix #683
Merge pull request #688 from osa1/fix683

Fix #683
ktest: print tested output file in case of a match failure (fixes #689)
Merge pull request #699 from osa1/fix689

ktest: print tested output file in case of a match failure (fixes #689)
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