added a new option --fresh-array-ctrl-var-names

If this option is passed, then we will get fresh names for array control
vars rather than unique ones such as i,j,k

With this option, we can also avoid name shadowing in different local scopes.