Install and generate docs for gdb-add-index