OptionDummy now has a constructor that takes a list of options: each string

in the option list is an attribute of the OptionDummy that will be
initialized to None.