running deepstate with config file -> types recognition bug

[GrosQuildu]

Deepstate allows to use config file instead of command line arguments:

deepstate/bin/deepstate/core/base.py

Lines 102 to 104 in 614e677

	parser.add_argument(
	"-c", "--config", type=str,
	help="Configuration file to be consumed instead of arguments.")

deepstate/bin/deepstate/core/base.py

Lines 131 to 132 in 614e677

	if args.config:
	_args.update(cls.build_from_config(args.config)) # type: ignore

deepstate/bin/deepstate/core/base.py

Lines 176 to 177 in 614e677

	parser = configparser.SafeConfigParser()
	parser.read(config)

For parsing uses configparser. But the lib doesn't recognize daty types. So if we specify i.e. timeout = 36000 it will be parsed as string and crash fuzzers at startup:

deepstate/bin/deepstate/core/fuzz.py

Line 478 in 614e677

stdout, stderr = self.proc.communicate(timeout=self.timeout if self.timeout != 0 else None)

Traceback (most recent call last):
  File "~/.virtualenvs/deepstate/lib/python3.7/site-packages/deepstate-0.1-py3.7.egg/deepstate/core/fuzz.py", line 479, in _run
    stdout, stderr = self.proc.communicate(timeout=self.timeout if self.timeout != 0 else None)
  File "/usr/lib/python3.7/subprocess.py", line 934, in communicate
    endtime = _time() + timeout
TypeError: unsupported operand type(s) for +: 'float' and 'str'

Found when tried to run https://github.com/trailofbits/deepstate-test-suite/blob/master/tests/json/config.ini

We may switch to different config file format (YAML?) or, probably better, use argparse to recognize types of arguments we pull from config file.