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