chore: Update bender version + use default remotes in Bender.yml

[fischeti]

Changes related to bender version update

• bender now emits an error if source file do not exist (suppressible with --suppress E31). I added a small fix in Makefile to make sure that sources are generated before calling bender script verilator
• bender now allows to specify use default remotes to shorten the description of versioned dependencies.
• Moves hw/generated include dir as previously tried in Bender.yml: Move generated include dir into source group #304 and reverted back.

TODOs

• Wait for bender 0.30.1 0.31.0 for some fixes
• Check internal Gitlab CI

[colluca]

Thanks @fischeti!

I suppose the default remote can't be used for non-versioned dependencies, is that correct?

[fischeti]

I suppose the default remote can't be used for non-versioned dependencies, is that correct?

Yes, this is intentional design because we want to nudge people into using versioned releases as much as possible😉

The PR is ready again now, a new Bender version was released yesterday with some fixes, and I also fixed #304 again in this PR. Gitlab CI passes as well this time.

[colluca]

LGTM :)