Merge pull request #657 from liblit/master

Tool fixes to handle spaces in file paths
Merge pull request #665 from liblit/master

Minor documentation fixes for SIMPLE static typing tutorial.
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