improve double free warning/error messages; now the line and annotation of the snd call to free is given
polish printing of double free warnings
update comments on double free analysis