Add divvt.asy, update .gitignore.