Add support for `@CheckReturnValue` annotations

It would be nice if JDT considered `@CheckReturnValue` annotations (any package) to verify code is doing something to the returned value. The annotation was originally coined in the FindBugs project, but alternative declarations have been created in various libraries, most notably [Spring Framework](https://github.com/spring-projects/spring-framework/issues/33818) recently.