changement du gitignore pour supprimer le dossier DEVKIT du repository. Il reste téléchargeable avec la release 0.8.5.3