Add a binding to update gtags