Declare annotations a stable CIF language feature

After the design of annotations in #463 (closed) and the implementation in #593 (closed), annotations are now here. After a bit more experience with them, I want to declare them a stable language feature for release %v5.0.

This means we have to remove the experimental feature disclaimers at various places of the documentation.