syntax/agda.vim: only link groups agda --vim uses