Install lens, not data-lens

Nothing in Idris depends on data-lens AFAIK.  Also, semigroups,
semigroupoids are already deps of lens.