vim: Add plugin for Idris.