Add interface to LocalIndexSet for obtaining all global indices at once
When we initially designed the global basis interface we wanted to have an interface to bulk-query all indices at once into a buffer. The design of the exact interface was postponed. Do we still need this, or do we require that the LocalIndexSet
does some internal caching of the indices and fills its buffer on bind ()
?