Changed gtags keybinding; added a check-syntax snippet