Log Message:
This is an update of ppx_optcomp to a new version. This is based on a
github tag, not a 'proper' release, but unfortunately this was needed for
compatibility reasons with other packages. The changelog has not been
updated upstream.