Added batch_remove function

The batch remove function takes multiple array indexes(all indexes are indexes into the original array) and deletes them "atomically"(atomically to JSON patch at any rate)
I also added functionality to the factorizer that condenses any array index removes that may have been emitted by it.  Result is hopefully even more compact difference files and
ones that are easier to create by hand.