provide option to activate a plugin in command-line help (#829) · Issues · pub / frama-c