Add Batch Jump API
This change adds a way to retrieve many jump counts from one source
to multiple destinations.