Install and configure idris-mode and helm-idris