Sync submodule; add opam version requirement to readme.