New helper function ggtags-read-string and use it