Poolalloc project and trunk llvm

Hi Robert,

We've been relying as well on DSA in our SMACK verifier project:

So, yeah, we are also very much interested in keeping DSA alive. We
could maybe even push some of our modifications into the main trunk...

Thanks a lot for your effort!

-- Zvonimir

Any improvements you've made to poolalloc would be much appreciated! :slight_smile: