Moved the management of user-specified options and flags into the separate package "critcl::userconfig".