el-get: install 'idris-mode'.