Specifies the priority of a configuration option.

Since options may be specified in different way, and applied in various orders, we need option priorities. Normally the default priority option does not overwrite the existing value whereas the high priority one does. High priority options may be stored in the database to be available in the next session.