Jehan PAGÈS, Contributeur, développeur et mainteneur du logiciel libre GIMP