Cabe 3 Beta 1 - Cabe switches to JSpecify annotations

The cabe-annotations module has been removed. Instead of the custom annotations, use JSpecify annotations, i.e., @NullMarked/@NullUnmarked for modules, packages, and classes and @NonNull/@Nullable for parameters. Consult the Nullness User Guide to learn how to annotate your code.

Cabe as before supports injecting checks on method and constructor parameters, including auto-generated canonical record constructors. Checks for method return values and local variables are not supported.

The Config class has been renamed to configuration. The @NullMarked annotation should work on modules, packages, and classes, but more test cases are needed.