v0.13.0

Fixes and doc updates

• A lot of documentation updates happened since the last release (although not recently).
• Extend grammar to fix an issue with parsing annotations between the new keyword and the type.
• Extend grammar to avoid parser errors when a single-statement lambda terminates with , followed by further arguments.
• Make sure the latest (instrumented) version of JUnit5 compiles again.