Mention Z3 and MathSAT5 support in README