regtest: Add a way to skip files
A new command line option --skip has been added to give a file with the list of test to skip. When --skip is not used, it look for a file named Skipped in the tests dir. Lines starting with '#' are considered comments and are ignored.
Showing with 39 additions and 5 deletions