[Kernel] Cmdline: rewrites explain_cmdline.

Uses a hashtbl from all option names to options, instead of browse all frama-c
options to find the ones from the command-line.