pulling improvements made in C runtime allocation code from proxy-new branch into trunk


git-svn-id: https://smlnj-gforge.cs.uchicago.edu/svn/manticore/trunk@5802 ac4fbcad-d21d-0410-b760-c7b1d3380187