GUI index stats: truncate avg doc length to integer
--HG-- branch : RECOLL_1_22_MAINT
Authored by: Jean-Francois Dockes 2016-06-12
Parent(s): [fdcbdd]
Child(ren): [cda5c8][d0f40e]