update zookeeper.ml and zookeeper.mli