Install Idris as part of idris-mode tests