Open
Description
Since minor version upgrades of Godot may contain breaking changes in the headers (#1011), we should allow users to specify custom versions of the headers for their versions, similar to the existing custom-godot feature.
One challenge here is that unlike api.json, the headers cannot easily be obtained from a Godot binary. This means that we'll possibly have to build some mechanism for obtaining the Godot source tree and extracting the headers from that.