anton.sty: updated theorem definitions and added csquotes package.
f/t.vim: Smart dots disabled, added new IMAPping for CIFS work.