aantron Remove opam messages related to 4.0.0

[skip ci]

Latest commit 03225e8

Aug 26, 2018