rename BatchJob#push to append

Avoid overloading the push verb. Let push mean adding a job to the
queue, and append mean adding a payload to a batch job.