Rename ggtags-cache-timestamp to ggtags-get-timestamp
Remove use of user-error in ggtags-mode definition

which prevents following forms from execution.
Stricter overlay check in ggtags-highlight-tag-at-point