Remove ggtags-ignore-file-error and its uses

If `gtags' or `global' that ggtags-mode relies on can not be found,
users should get the error.

See https://github.com/leoliu/ggtags/issues/2