Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view.
Adding E-KRHyper theorem prover
Adding jq JSON processor