Made headers self-contained.
Programs: dune-check-headers.py: Script now opens a text editor to fix compilation errors.
Merge branch 'feature/self-contained-headers'

Developer: Made a few headers self-contained and updated
dune-check-headers.py script to make my life easier when fixing this
errors.

Authored By: Ricardo Martins