Remove all java-related deprecated saw-script primitives.
Remove all java-related deprecated saw-script primitives.

This commit only removes the declarations from the saw-script
interpreter; it does not actually remove their implementation
code.

The following primitives are removed:
- java_var
- java_class_var
- java_may_alias
- java_assert
- java_assert_eq
- java_ensure_eq
- java_return
- java_verify-tactic
- java_sat_branches
- java_no_simulate
- java_allow_alloc
- java_requires_class
- java_pure
- java_extract
- java_symexec
- java_verify

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script