Allow ctest to match tests with several labels

A test has several labels, e.g. FIRST_LABEL and SECOND_LABEL.

It would be very handy to select just this test on the ctest-run:

ctest -L "FIRST_LABEL&SECOND_LABEL"
# OR
ctest -L "FIRST_LABEL;SECOND_LABEL"

But unfortunately only one label can be specified. If you run ctest with multiple -L-arguments only the last one is taken into account. If you could point me some directions maybe I could try to implement this by myself.

Thanks!

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information