add dev-lang/idris and it's dependencies