Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view.