Add target to binding specification: prescriptive binding specs #1298
Description
This sub-issue is part of #1232. It concerns processing of the target specified in a prescriptive binding specification.
The target of the bindings currently being generated is referred to as the current target.
If a prescriptive binding specification specifies a target, then it must exactly match the current target. A mismatch should trace an error message.
If a prescriptive binding specification specifies target any, then we should trace an error message if any target-specific bindings would be generated. For example, generation of Storable instances is target-specific.
A option with CLI flag --ignore-target should be added. When specified the above traces should use level Notice instead.