Implemented issue #1.
ClientBatchManager: keeps track of number of requests per instance.
Replica: relays the information above to ServiceProxy.
ServiceProxy: thread-safe sequence number generation.
{,Simplified}Service: revert changes.
PagerService: Pager-specific service interface.
Fixed test classes.
Ignore maven target directory.
Changed executor to cached thread pool.