Investigate performance impact of -g flag for debug
Dune builds with debug support by default. Therefore it would be interesting, whether the -g flag has any performance impact. It should be sufficient if this is checked after dune is merged into the master, for more information review the corresponding merge request. As this is especially important for benchmarking, update the benchmarking section in HACKING.adoc afterwards.