Add option to select/change infinite test

[cacharle]

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.

[cacharle]

The same goes for the number of long test and the long test time.

The configuration variables should go in a config.py file.

[nesvoboda]

I like this idea! Do you think the command line test parameters should be optional or required?

[cacharle]

In my last pull request (I didn't knew github automaticly updated the commit in pr), I also added the configuration variables in config.py and options to change the long test time and the number of long tests (By default it takes the variables in config.py).

So the last thing to do is add optional positional arguments for custom long test (./socrates ../philosophers 4 410 200 200).

[nesvoboda]

I think it is a great idea!