This patch permits users to override what version of gdb to use when invoking gdb-add-index.sh. Resolves: rhbz#2213228