Parse getModel and GetValue responses with constant arrays

[Franck Cassez]

Z3 and CVC4 use different syntax for constant arrays. Being able to parse values that are constant arrays (arrays initialised to a constant) would enable us to build witness with arrays.

[Franck Cassez]

For ConstArrayTerm and ArrayStoreAllTerm:

1. test parsing terms
2. test pretty-printing
3. getValue tests
4. getModel tests

[Franck Cassez]

Add tests for getModel with arrays (Z3 style, CVC4/MathSat style).

see #19

→ <<cset 058ec9531cab>>