Don't include `<vector>` in generated C++

[aaron-skydio]

We don't use it as far as I can tell, so we shouldn't include the header