add scripts/diffconfig.sh: a tool for making reduced .config files these files contain only the target selection and options that differ from the default settings this makes it much easier to review .config files

SVN-Revision: 25231