Add license header in all files.

[mgautierfr]

All source files must include a header specifying the license of the file.
see https://www.gnu.org/licenses/gpl-howto.html

Are we GPLv3 or GPLv3+ ?

[kelson42]

GPLv3+