Announcement: Genode OS Framework version 23.05 released

[Alexander Tormasov]

Great! 

Can we have a docker image with new pre-build tools?
Old instruction from genodians article seems not applicatble to latest toolchain...

> 
> The most prominent change for developers is the update of our tool
> chain to GCC 12, binutils 2.40, and GDB 13.1. The new GCC version gave
> us the opportunity to switch from C++17 to C++20 as default setting
> and benefit from modern C++ language features. Another noteworthy
> addition falling into the same category is the release of the evolving
> Goa tool for Sculpt 23.04, which now enables the use of existing SDKs
> like Lomiri or Rust's cargo for Genode.