Added ESBMC binary to 64bits

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