Adds ggtags

removes some unused stuff