Removed REAMDE
Removed REAMDE

It was outdated for at least several years and referred to the
Mathsat Java Bindings which we do not use.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt