vim: Add idris mode