GitLab

 - Updated/extended released notes for v0.1.
 - Removed '(unreleased)' annotations in release notes.
   - Difficult to keep up-to-date.
 - Added more documentation cross-linking (ESCET to/from languages).
   - Using actual online URLs, which are now known.
 - Cross-linking information extended with what you'll find there.
 - Refer to website for development information.
 - Our tools are also available as plug-ins from an update site.
 - Some other small textual changes in documentation.

 - Metadata files
   - Updated for new infrastructure.
   - Updated java-diff-utils identification.
   - Consistency updates.

 - Oomph setup
   - Updated for new infrastructure.
   - Git redirect added.
   - 'develop' is now our standard branch.
   - Temporarily added branch for issue #10 for testing.

 - Developer documentation
   - Updated for new infrastructure.
   - Updated/extended for how we use GitLab.
   - Other small improvements.

 - Initial contribution by Eindhoven University of Technology (TU/e).
 - See IPZilla CQ 22636.