Most plugins do not have a 'headers' directory.
Avoids warnings from frama-c-hdrck when giving such non-existing directories
to the -header-dirs option.