Dune build files

2 jobs for !820 with basic-dune in 13 minutes and 16 seconds (queued for 2 seconds)
merge request