PHP File streaming library (via generators)