Add option to select/change infinite test

Change the tested arguments from the command line (changing in the file is too cumbersome).

e.g: `./socrates ../philosophers 4 410 200 200`

Select the infinite tests, if I know that one passes and not the other, I only want to test one of them. It's a waste of time.

Start at the command-line entry point and trace how tested arguments and infinite tests are currently selected from the file. Use the example command as the expected interface, and verify that selecting one known infinite test runs only that test while preserving the existing behavior when no selection is provided.

Written by the indexing model from the issue text.