Explain the commands-in-DUNE_CONTROL_PATH trick a little better.

In particular, the search gets faster _because of_ the use of ls,
not _despite_ of it.

[[Imported from SVN: r6769]]