Update preferences page with new model checker options (copied from jkind-xtext example)