Build History for pull/1207

Driver depends on sherlodoc

Run the driver in CI The driver runs on Base. This will also test that sherlodoc is co-installable with odoc.

Update sherlodoc Checkout out to https://github.com/EmileTrotignon/sherlodoc/pull/1