new snippet text trigger: set, metafun cleanup,  refinement of context syntax zones, better skim autoupdate (disable autoupdate in skim itself!)