Dynamic merge queue batch size

You can now set batch_size to a {min, max} range instead of a fixed number. When the queue is quiet, Mergify keeps batches at min for the smallest possible blast radius; when pull requests pile up and all parallel-check slots are busy, it grows batches toward max to drain the backlog faster. Existing fixed batch_size values keep working unchanged.