Install deps of Idris

Installing terminfo from cabal returned error - probably because
missing libncurses5-dev. Install documented Idris dependencies for
avoiding this and other errors.

Dependencies taken from https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Debian