kconfig: add script to manipulate .config files on the command line