Add implementation of Michael's allocator from the Streamflow authors to our
install script.