Made optional the inclusion of system files (i.e. system headers) in the result of Frama-C for PKM and Frama-Clang for PKM.