New command ggtags-delete-tag-files