Support generating JSpecify annotations on Java types

[sjohnr]

Support generating JSpecify annotations on data types. This will allow Java generated types to preserve nullability information from the source schema and support tooling that checks for nullability issues (e.g. to avoid NullPointerExceptions when using generated code).

See the JSpecify user guide for details on these annotations.