Release candidate for 1.1

This version has two main new features: support for arrays and quantifiers in Horn clauses, and a file format and parser for providing initial CEGAR predicates and templates for Craig interpolation. Examples for both features are in the directory regression-tests/horn-quantifiers.