Show segment size (segment manager)

Hi,

the challenge is that we use a large segment which is very slow, so we plan to split it down. Now it would be very useful to see the segment size (i.e. amount of filters or lines) in the segment manager in order to split the big segment down into various equal parts.

Also, knowing the size would alert us when the segment gets too big...