Document how to make ggtags work with the ctags backend