With recent changes in dune-common, super builds are now feasible. This simplifies the instructions to install from source.