Debugging Batch API jobs with the Devel Module