added coq version in README