PHP5 library allowing to merge multiple files