Merge pull request #673 from Vsevolod-Livinskij/master

Saturation arithmetic.
adding patch for LLVM 3.4 for bug #712
Merge pull request #737 from ifilippov/err

Adding patch for LLVM 3.4 for bug #712
set 3.4 version of LLVM to alloy.py, perf.py correction
Merge pull request #738 from ifilippov/err

Set 3.4 version of LLVM to alloy.py, perf.py correction
fix for fluky problem 'argument out of range'
Merge pull request #739 from ifilippov/fluky

Fix for fluky problem 'argument out of range'
Saturation arithmetic (sub and add) was added for int32/int64.