Adds Idris support for vim