ctest: export test labels to junit xml

With this patch, the junit files written by ctest also contain the test labels as testcase properties, see https://github.com/testmoapp/junitxml#properties

That's useful if you want to sort or analyze the test results by labels you may have set.