Copy configure option documentation to gdb.texinfo