Add support for declaring constant arrays

[Franck Cassez]

In Z3/CVC4 const arrays are different S-expression. However, it may be possible to intercept the ScalaSMT command, say ConstArray before it goes to the solver and use the corresponding solver syntax. Similar to get-interpolants, it could also be configured in the application.conf file, together with whether the solver supports declaration of constant arrays.