Merge branch 'complex-dependency-specification' into 'master'

Replace wildcard dependencies by kernel query language

Any given dependencies will be
* treated as a kernel query language match expression
* afterwards treated as a list of instruction IDs to find a match

To that end, the splitting of dependencies from textual language is delayed
until dependency resolution in make_kernel.

The previously implemented wildcard matching is completely
superseded by this mechanism (IMO without any semantics changes).

See merge request !13