WIP: add nginx (currently, parsing only)

For future reference: this is the auto/configure command used:

auto/configure --without-poll_module --without-pcre --without-http_rewrite_module --without-http_gzip_module

assigned to @maroneze

changed the description

MAJ :

• téléchargement du tar.gz de la version 1.24.0 ;
• ./configure avec les --without mentionnés ;
• lancement de blug make.
• blug-print objs/nginx : produit une très grosse liste de sources ;
• tentative de parsing de ces sources (frama-c -json-compilation-database build_commands.json <sources>) : plusieurs #ifdef à commenter, avec des en-têtes spécifiques Linux, et quand même, plusieurs .h manquants car non-POSIX.