add omd.1.1.2
+utop.1.16
OASIS 0.4.5
Merge pull request #2916 from pw374/master

add omd.1.1.2
Merge pull request #2901 from whitequark/utop.1.16

+utop.1.16
Merge pull request #2920 from jpdeplaix/master

OASIS 0.4.5
+ppx_deriving.1.0
+ppx_deriving_yojson.2.0
+ppx_deriving_protobuf.2.0
Add missing findlib files.
Fix opam/url typos.
Merge pull request #3 from whitequark/ppx_deriving.1.0

Ppx deriving.1.0

Reviewed-by: whitequark