fix: show clear error when running uninstalled dev tool#12978

benodiwal wants to merge 9 commits intoocaml:mainocaml/dune:mainfrom

benodiwal:improve-tools-exec-error-messagebenodiwal/dune:improve-tools-exec-error-messageCopy head branch name to clipboard