Add "scheduler-locking" to documentation index I noticed that "scheduler-locking" does not appear in the index of the gdb manual. This patch corrects this oversight.