Add a config_builder to replace --create_device_cache

The config builder is capable of both initial and re-builds of the config, and
can also directly write to the configuration file (as opposed to relying on the
user to copy-paste). It's also a separate binary and no-longer (buggily)
plumbed through main.py.