Modified QPL licensing for files in Frama-C

[Alan Dunn]

Some of the files distributed in Frama-C are under a modified form of the QPL:

https://www.openproofs.org/packages/frama-c/Q_MODIFIED_LICENSE

which needed, in my mind, some clarification from upstream, which you
can find here:

http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2010-January/001755.h...

I wasn't quite sure whether a licensing modification of this form
required legal review, but I thought it would be better to be safe and
ask.

- Alan