Add Idris plugin.