PHP library to ease the use of background jobs