More portable definition of stride_t and AutoStride for array_view