Partial support for invoke & resume.
Better matching for built-in names.
Initial implementation for insert/extractvalue.
Better implementation of new features:
* `extractvalue` and `insertvalue` are fully handled.
* `resume` value propagated to `landingpad`.
* exception variable is global, to avoid return parameter conflicts.
Adjusted scripts to handle C++ files.
Added new (C++) tests.
Ridiculous typo bug in invoke instruction.
Ignoring static inits of X86 floating points.
Merge branch 'release-1.4.1' into develop
First steps to adding code contracts.
* Cleaned up code generation visitor.
* Generalized code generation to include code expressions.
* Added prototypes for `requires`, `ensures`, `forall`, etc.
* Collection of specifications.
* TODO slicing for argument values to `requires` and `ensures`.
More progress on contracts.
* Computing function slice from requires call.
Code contracts prototype working!
Code contract slicing with loops.
Started to add `old` expressions.
Added `invariant`s, though not yet working right.
Loop invariants working.
Refactoring code contract extraction.
Regression tests for contracts.
Better contract extraction.
Cleaned up contract extraction a bit.