DDD: add `DDD_InfoProcListRange` as a replacement for `DDD_InfoProcList`

The DDD_InfoProcList function writes to a global per-grid buffer causing issues in multi-threaded applications.

The replacement DDD_InfoProcListRange provides a range that only looks up the requested data on demand without use of a buffer.

Reference: core/dune-grid!597 (comment 117843)

mentioned in merge request core/dune-grid!597 (merged)

added 5 commits

• 09af229a - DDD: add `DDD_InfoProcListRange` as a replacement for `DDD_InfoProcList`
• 0d41641a - use new `DDD_InfoProcListRange` function instead of `DDD_InfoProcList`
• e33f4939 - identify.cc: change type of `skiptag` to `DDD_PRIO`
• 46ebf93b - small code cleanup
• 029bd184 - deprecate three old functions

Compare with previous version

Feel free to remove the old interface if nobody within dune/dune-grid is using it anymore.

added 5 commits

• 7e2932b6 - DDD: add `DDD_InfoProcListRange` as a replacement for `DDD_InfoProcList`
• 97bce234 - use new `DDD_InfoProcListRange` function instead of `DDD_InfoProcList`
• 832c3e51 - identify.cc: change type of `skiptag` to `DDD_PRIO`
• a71dd06c - small code cleanup
• 294976e1 - deprecate three old functions

Compare with previous version

No need for deprecations. There are not outside consumers of the DDD interface.

mentioned in commit 742a7c5f

merged