Add twelf syntax plugin.