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