Clean up and updated run_exp_svcomp.py file

run_exp_svcomp.py
- The API library is copied automatically to dir of the analyzed programs
- It is removed all tmp files from the directory result_claims
- Moved report_model.html to modules

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