Remove dependency on jvm-verifier repository

[brianhuffman]

This removes some of the few remaining dependencies on the
jvm-verifier repository.

[RyanGlScott]

Hooray!

There are a number of lingering referenced to jvm-verifier and jss that are now obsolete:

saw-script/.github/ci.sh

Line 129 in 1467987

echo "constraints: jvm-verifier -builtin-abc, cryptol-saw-core -build-css" >> cabal.project.local

saw-script/.gitmodules

Lines 16 to 18 in 1467987

	[submodule "deps/jvm-verifier"]
	path = deps/jvm-verifier
	url = https://github.com/GaloisInc/jvm-verifier.git

https://github.com/GaloisInc/saw-script/blob/14679870c91c53cf6f4470143cee34b7a8952933/README.md#related-packages

https://github.com/GaloisInc/saw-script/blob/14679870c91c53cf6f4470143cee34b7a8952933/intTests/test0018_jss_class_load/README

saw-script/intTests/test0018_jss_class_load/test.sh

Line 9 in 1467987

# https://github.com/GaloisInc/jvm-verifier/issues/3 is not fixed,

saw-script/src/SAWScript/Crucible/JVM/BuiltinsJVM.hs

Line 82 in 1467987

-- jvm-verifier

saw-script/intTests/runtests.sh

Line 58 in 1467987

export JSS="eval cabal run ${CABAL_FLAGS} jss -- -j '$CP' -c ."

[brianhuffman]

I have commits for all those other things lined up, but I just wanted to check that CI passes at each step.

[brianhuffman]

It looks like the CI tests are working so far, so I think this is ready for review.

[atomb]

🎉