Checker Framework 3.22.0-eisop1

Version 3.22.0-eisop1 (May 6, 2022)

User-visible changes:

Added reaching definitions and very busy expressions analysis demos.

Implementation details:

Fixed the types of MethodInvocationNode#arguments and
ObjectCreationNode#arguments in CFGs. Previously, argument nodes are created
using the types from the method declaration, which means some nodes are using
type variables that are not substituted by type arguments at the call site.
For example, we used to observe new T[]{"a", "b"} instead of
new String[]{"a", "b"}, while the second one makes more sense.

Added a new gradle task fastAssemble to quickly rebuild the Checker
Framework for local development. This command will assemble the jar
files without generating any Javadoc or sources.jar files, thus it is
faster than the gradle assemble task.

Type system test drivers no longer need to pass -Anomsgtext.
The Checker Framework test driver (in TypecheckExecutor.compile) now always
passes the -Anomsgtext option.

Moved the -AajavaChecks option from CheckerFrameworkPerDirectoryTest to
TypecheckExecutor.compile to ensure the option is used for all tests.

Closed issues:
#210.