Change group deletion operation to limit the gap length to a

Change group deletion operation to limit the gap length to a
particular size, given by the new parameter `gap-maximum-extra'.  This
change requires microcode 10.76 or later, as it uses the new primitive
`set-string-maximum-length!' to avoid consing a new string.