Source & JavaDoc publishing

Add: Sources and JavaDocs are deployed to the maven repository.
Add changelog

Add: A changelog file for recording the most important changes for end users.
Fix a small JavaDoc issue

Fix: A JavaDoc documentation issue in the launcher system.