bashrc: add gtags aliases