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.
Merge pull request #1229 from LeifW/travis_deps

Don't bother installing data-lens