[uggrid] The Vector::skip field has been renamed

Oliver Sanderrequested to merge
fix-vector-leaf-index into master

It is used to store certain leaf indices, so let's call it 'leafIndex'.

Merge request reports