Replace cedet with helm+gtags