Made optional the inclusion of system files (i.e. system headers) in the...

Made optional the inclusion of system files (i.e. system headers) in the result of Frama-C for PKM and Frama-Clang for PKM.
8 jobs for master in 10 minutes and 32 seconds (queued for 10 seconds)