Updated run_exp_svcomp.py to get data from settings.cfg

I also fixing the bug to claim translator related to test-0019_1_false-valid-memtrack.c

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>