New helper ggtags-forward-to-line and use it

Simplify ggtags-list-of-string-p with cl-every.
New feature ggtags-global-restore-search for #37