Update README pointing to Coq version.