Added CHANGELOG.md
Added CHANGELOG.md

Allows us to document changes between versions outside of Github releases and additionally display upcoming changes (of current development versions) without messing up Github releases.

[skip ci]

LearnLib/learnlib,LearnLib/learnlib,LearnLib/learnlib