Retrieve batcher and job name from a JobTicket

[kcoleman-marklogic]

At the moment you can retrieve a ticket from a Batcher, but you cannot retrieve a batcher from a ticket. That means you have to hang on to the batcher instead of to the ticket.

Similarly, you can retrieve the ticket UUID from the ticket, but you cannot retrieve user-configurable job name that you can set using Batcher.withJobName(). Of course, I can get it from the batcher, but that again implies it is the Batcher and not the ticket I should hold on to.

TL;DR Perhaps we should add the following to the JobTicket interface:

• JobTicket.getBatcher()
• JobTicket.getJobName()