[Agda] length-* in library

[Sergei Meshveliani]

Dear list,

Standard library has  length-map, ..., length-filter  in
List.Properties.
And it may have sense to add  length-reverse (equation)  and 
length-zipWith  (equation with min of length).

Regards,

------
Sergei