Sync dose patches to branch 3.1.2-opam of dose

You can use `git format-patch 3.1.2..3.1.2-opam -o ../opam/src_ext/patches/dose` from a clone of dose to re-sync