update README.
update README.

- adding reference for CAV paper about JavaSMT 3.
- fixing missing or lost whitespace.

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