refresh boilerplate and CI and bump Dune to 3.5 or later#17

palmskog merged 1 commit intomasterDistributedComponents/disel:masterfrom

refresh-boilerplateDistributedComponents/disel:refresh-boilerplateCopy head branch name to clipboard