Review et ajout des plugins

Review des plugins existant, le contenu vient de frama-c.com et n'est peut être plus très à jour.

Ajout des plugins manquants et de contenu manquant (Zonotopes ? :) )

Images pour les plugins du slider