ctest: add options to run/exclude tests listed in a given file

This branch adds the new command line options --tests-from-file and --exclude-from-file to ctest, and also adds the options INCLUDE_FROM_FILE and EXCLUDE_FROM_FILE to ctest_test(). They all take a filename as parameter. This file is supposed to contain the exact names of tests to run, or to exclude from running. It also contains a test for the functionality.

Fixes: #25455 (closed)
Topic-rename: ctest-tests-from-file