Getting gtags.el from github