Search Gradle plugins

Re-usable build logic for extending the Java type system via the Checker Framework, for Gradle builds

• #checkerframework
• #checker
• #typechecker
• #pluggable types