chore: add Julia project env for test server, install Vampire 5.0.1

- .julia-env/ with Oxygen, HTTP, JSON3 for test_server.jl
- Vampire 5.0.1 installed at /usr/local/bin/vampire
- ACL2 and HOL4 available via Podman container wrappers
- Test results: 396/402 pass with --include-ignored
  (6 failures: HOL4/PVS parse_string returns empty goals — prover parsing issue)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.julia-env/Manifest.toml

@@ -0,0 +1,4 @@
+[deps]
+HTTP = "cd3eb016-35fb-5094-929b-558a96fad6f3"
+JSON3 = "0f8b85d8-7281-11e9-16c2-39a750bddbf1"
+Oxygen = "df9a0d86-3283-4920-82dc-4555fc0d1d8b"