Add lens-properties to extra-source-files so we can bundle correctly for hackage.
Add lens-properties to extra-source-files so we can bundle correctly for
hackage.

ddssff/lens,Fuuzetsu/lens,danidiaz/lens,hvr/lens,Gabriel439/lens,rpglover64/lens,Icelandjack/lens,hvr/lens,cdepillabout/lens,timjb/lens,omefire/lens,cchalmers/lens