Auto-Update opam

This PR, on top of #652, will auto-push submodule bumps to opam.