Bump Coq version.