Use clang-format to reformat SMT-LIB printer in LLVM style.
Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical) order.
Merge pull request #106 from pcc/smtlib-printer

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