Add gtags.el.