manage gzip files
adding EXT GPL
trop crevé pour vérifier le merge.
Merge branch 'master' of github.com:pdemanget/warlog

Conflicts:
	src/main/webapp/app/controller/FileController.js