Updates of my softwares

I upgraded my softwares. I checked opam install/remove work in my environment at least...