This reverts merge request !3055 (merged). Revert excessive timeouts. The observed timeout was actually the result of a bug in dune-common.
This reverts merge request !3055