Chore: rely more on dune and less on make for the build

2 jobs for 2.71.7 in 4 minutes and 32 seconds
latest