Support search bookmarks as requested in #39

New variable ggtags-global-history-length.