Release candidate for 1.2

A release candidate generated from the "concurrency" branch, which includes a simple (currently quite restricted) front-end for C programs, and a better framework for encoding concurrent systems as Horn clauses. Examples are given in the directory regression-tests/horn-hcc.