Add CI test for the `templatefora-checker` #900

Job	Run time
typecheck-part1 on JDK 21	7m 21s
typecheck-part2 on JDK 21	12m 17s
guava on JDK 21	17m 20s
plume-lib on JDK 21	12m 50s
daikon-part1 on JDK 21	17m 38s
daikon-part2 on JDK 21	14m 2s
cftests-junit on JDK 21	9m 55s
jspecify-conformance on JDK 21	3m 13s
cftests-nonjunit on JDK 21	7m 17s
jspecify-reference-checker on JDK 21	4m 11s
misc on JDK 21	6m 52s
cftests-junit on JDK 21 on windows-latest	12m 47s
cftests-junit on JDK 21 on macos-latest	9m 12s
cftests-junit on JDK 8	20m 33s
cftests-junit on JDK 11	11m 46s
cftests-junit on JDK 17	10m 15s
cftests-junit on JDK 23	9m 48s
cftests-junit on JDK 24-ea	10m 24s
cftests-nonjunit on JDK 8	4m 25s
cftests-nonjunit on JDK 11	8m 31s
cftests-nonjunit on JDK 17	7m 34s
cftests-nonjunit on JDK 23	6m 44s
cftests-nonjunit on JDK 24-ea	8m 6s
cftests-junit-jdk21 on JDK 11	11m 49s
cftests-junit-jdk21 on JDK 17	9m 37s
cftests-junit-jdk21 on JDK 23	9m 16s
cftests-junit-jdk21 on JDK 24-ea	9m 28s
typecheck-part1 on JDK 8	6m 50s
typecheck-part1 on JDK 23	7m 8s
typecheck-part1 on JDK 24-ea	7m 42s
typecheck-part2 on JDK 8	12m 28s
typecheck-part2 on JDK 23	11m 56s
typecheck-part2 on JDK 24-ea	11m 37s
guava on JDK 8	18m 19s
guava on JDK 23	14m 35s
guava on JDK 24-ea	16m 43s
plume-lib on JDK 23	12m 23s
plume-lib on JDK 24-ea	12m 23s
misc on JDK 8	6m 3s
misc on JDK 23	7m 22s
misc on JDK 24-ea	7m 5s
daikon-part1 on JDK 17	17m 42s
daikon-part2 on JDK 17	13m 59s
	7h 37m 26s

Provide feedback