Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical) order.

I also reformatted the SMT-LIB printer with clang-format for consistency with the rest of KLEE.