2013-10-18 (chenall) add new command options --set-ext,set default grub4dos executable extensions.
fixed issue 160