mini_c: add additional renames to avoid name collision

[EduardoRFS]

Context

After https://gitlab.com/ligolang/ligo/-/commit/0c580ac5a61e39cbfa4882d7dc3f7c151c97d1fa some variables are produced duplicated and we need to alpha rename before doing beta reduction.

But currently not all cases are handled, leading to some bugs such as the one below. This PR ensures that after inlining every binder is globally unique, as long as inline_let is the only source of duplication, this should prevent the entire class of bugs.

Repro

# expected = 0xab5faaaacd
# received = 0xab5faaaa5faaaa
ligo compile expression 'jsligo' 'Bytes.concat(Bytes.concat(0xab, 0x5faaaa), 0xcd)'