Programs: dune-check-headers.py: Script now opens a text editor to fix compilation errors.