Keep the generated files in the git repo

This avoid generation failures on CI and reduces friction for users, it
doesn't change by much anyway between dev versions.