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