Rename ggtags-delete-tag-files to ggtags-delete-tags