PHP 5.3 library to help launching batch