fix[next][dace]: Use constant shape for neighbor tables in local dimension

[edopao]

Description

Main purpose of this PR is to avoid the definition of shape symbols for array dimensions known at compile time. The local size of neighbor connectivity tables falls into this category. For each element in the origin dimension, the number of elements in the target dimension is defined by the attribute max_neighbors in the offset provider.

Some side changes included in the PR:

• In the hash function for the build cache, include max_neighbors and other attributes of NeighborTable offset providers.
• In the hash function for the build cache, include the build type (debug, release, etc.).
• Replace itir_embedded.NeighborTableOffsetProvider with generic type common.NeighborTable in type annotations.
• Optimize list_get for the case where the index is a SymbolExpr, simply use a memlet.
• Optimize neighbor reduction for the case with has_skip_values == False, do not generate the can_deref check.
• Rename parameter conn_names to connectivity_names.

[philip-paul-mueller]

The changes looks very good, however, there are some small changes and clarification needed.
The majority is that you should change expressions like for k, _ in dict().item() to for k in dict().keys(), which makes things clearer.