This commits allows printing of arrays which have indices typed as
bitvectors.

* src/driver/collect_data_model.ml
(convert_to_indice): Add bitvector case.

Change-Id: Iafe10e5e6cd1aab0a3e023aeb69df03fde8880e8