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

Merge branch 'fix-vector-leaf-index' into 'master'

ref:core/dune-grid It is used to store certain leaf indices, so let's call it
'leafIndex'.

See merge request [!361]

  [!361]: gitlab.dune-project.org/core/dune-grid/merge_requests/361

dune/grid/uggrid/ugwrapper.hh

@@ -788,16 +788,12 @@ namespace Dune {
 
     //! Gets the leaf index of a UG sidevector
     static UG::UINT& leafIndex(Vector* theVector) {
-      // theVector->skip is actually something other than an index.
-      // We use it anyways.
-      return theVector->skip;
+      return theVector->leafIndex;
     }
 
     //! Gets the leaf index of a UG sidevector
     static const UG::UINT& leafIndex(const Vector* theVector) {
-      // theVector->skip is actually something other than an index.
-      // We use it anyways.
-      return theVector->skip;
+      return theVector->leafIndex;
     }
 
     //! Gets the leaf index of a UG edge