adding agda_stdlib vim option, now used by the agdavim plugin and passed to Agda executable