Update toolchain_picker to store data in a config file