Standardizing SMACK names.
* Every identifier introduced by smack now begins with '$'.
* Short identifiers are preferred, when possible.
* Functions are preferred to procedures for arithmetic predicates.
Also, using std namespace, and std::endl, uniformly.
A few improvements for handling found C code.
* Increased instruction support: truncate, unreachable.
* Fix for basic block generation.
* Adding partial type recognition, e.g., for Boolean parameter and return types.
Adding boogie_si_record_{int,obj,ptr} declarations to prelude.
Including <regex> or <tr1/regex> library.
-- also small repair in statement generation.