Allow large arrays (#3604915)

Arrays larger than a OCaml int were forbidden because of a former
limitation CIL.  This shouldn't be an issue anymore.

Thanks to Jim Grundy for the report.