add idris-mode submodule