Update the options of why3.