make DTConfig attributes lists, not sets

[ev-br]

Convert to sets only when used. The reason is config.rndm_markers += ["# uninitialized"] is reasonably expected to work but fails because it's a set, hence the it needs to be spelled as .add("# uninitialized") etc. And that's clunky and is likely to trip users.