Updated CVC4 version.
Resetting to previous CVC4, which is much faster in some of our examples involving str.to.int.
Merge branch 'feature-select-element' of github.com:cs-au-dk/Artemis into feature-select-element
Fix build error.