Add tool to compute the memory footprint of an SDD.

It doesn't take into account the size of a valuation if it is accesses through a pointer.