Subject: [PATCH] Add dune-build-system

From: Julien Lepiller <[email-masked]>
Date: Mon, 19 Nov 2018 23:25:37 +0100

Hi, here is a small patch series to add dune-build-system and convert a
few packages to it.