Convert redef-able consts to runtime options

Description

Now that the configuration framework is in git master, it would be useful if some
of the existing redef-able constants were converted to runtime options. Some of
these cannot be converted, because they are used only at initialization time.

Environment

None

Status

Assignee

Unassigned

Reporter

Daniel Thayer

Labels

None

External issue ID

None

Components

Priority

Normal
Configure