add idris-mode, agda-mode