Would it make sense to add the optional / enabled_if field to the executable stanza?

The context is that in the default build of Coq, we may want to skip building some optional binaries [such as CoqIDE] if the right libraries are not present. Note that we are working on a composed build thus this seems like the simplest approach.