Add an estimated file size in Statistiques menu

[Heisen59]

Everything is in the title !
Often, the main reason I modify gifs parameters is to make their size lower than 25Mb. But I don't know the size before saving it. It would be a huge time saver to have an idea of the size before saving it.