Use insertion idx as air id#3471

Schaeff wants to merge 3 commits intomainpowdr-labs/powdr:mainfrom

use-insertion-idx-as-air-idpowdr-labs/powdr:use-insertion-idx-as-air-idCopy head branch name to clipboard