Move PICO to EISOP #797

Job	Run time
cftests-junit on JDK 21	7m 43s
typecheck-part1 on JDK 21	7m 59s
cftests-nonjunit on JDK 21	7m 59s
typecheck-part2 on JDK 21	12m 34s
guava on JDK 21	17m 49s
plume-lib on JDK 21	13m 11s
daikon-part1 on JDK 21	18m 9s
daikon-part2 on JDK 21	14m 37s
jspecify-conformance on JDK 21	4m 3s
jspecify-reference-checker on JDK 21	5m 8s
${{ matrix.script }} on JDK ${{ matrix.java_version }} on ${{ matrix.os }}	0s
${{ matrix.script }} on JDK ${{ matrix.java.version }}	0s
	1h 49m 12s

Provide feedback