BudgetConfig
NoDeadlineConfTarget
This commit adds a new group config `BudgetConfig` to allow users specifying their own preference when sweeping outputs. And a new config option `NoDeadlineConfTarget` is added in case the user wants to use a different "lazy" conf target.
