Auxiliary: Added a Python script which checks header files for being self-sufficient.