Added support for quickly overriding Firefox options. This is a hack and has to be done properly ASAP.