Update esbmc script
Update esbmc script

Signed-off-by: Mikhail Ramalho <ee5a7085a7dc755c2d604cdfe100445760d4bc33@gmail.com>

IljaZakharov/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec