add idris-mode and agda2-mode