data-lens is not a dep of idris

lens is, but that isn't available in the binary repos of the old version
of Ubuntu Travis-CI runs.