Added idris-mode and updated slime.