basic CHC encoding

This adds a basic encoding from goto programs into constrained Horn clause
systems.  It relies on inlining function calls, and does not support
pointers.

Author: kroening