Desired Behavior

The cinaps stanza should support link_flags, just like executable. (Maybe cinaps should be some sort of wrapper around executable?)

Example

Specifically, I want to specify (link_flags -linkall), since I'm using a c library from cinaps that cannot load all its data without this flag.

The concrete example is here:
https://github.com/smuenzel/smtcaml/blob/2ca431db88310b70c6b5840228da6e77103723d8/bindings/boolector.ml#L34
This library uses cinaps to automatically generate binding code, but it needs to access data from a foreign library in order to do it, and it won't work without -linkall or hacky workarounds.