Adding prover9-mace4.