simplify the README since the Z3 Java API is not used for now the documentation to install it is not needed