Added tests to _testingUtils.c (currently failing due to a bug in printing 64bit numbers)
Fixing this bug will expose a failing test case for Concrete/ConstantExpr.ll
Fixed test/Concrete/ConstantExpr.ll

The difference between a 64bit pointer truncated to 32 bits and the
original 64bit pointer would never be 0 if any of the high 32bits in
the pointer were test. If lli and klee had a different value for the
top 32bits of the address this test would be marked as failing.

Due to the 64bit printing buf in _testingUtils this was not exposed before.

The fix clears the top 32bits of the difference.
Fix the bug in printing 64bit numbers, set the test to expect passing. Changed _testingUtils to use stdint.h
Fixed declaration of print_int that Travis complained about
Clear bindings and add a test case
Switch to using autoconf 2.69 this version is more commonly available
on Linux systems (2.60 is quite old) which will make updating the
configure script easier for most users.
Merge pull request #167 from willemp/willem/fix_64bit_printing_bug_in_testingUtils

Fix 64bit printing bug in testing utils
Merge pull request #173 from delcypher/switch_to_autoconf_2.69

Switch to using autoconf 2.69 this version is more commonly available
configure: allow stp being installed in /

I have stp in standard paths: /usr/include and /usr/lib64. Allow that
by correct STP_CFLAGS + STP_LDFLAGS instead of STP_ROOT. Those are
empty when --with-stp is not passed.

configure is regenerated by autoconf too.

Signed-off-by: Jiri Slaby <jslaby@suse.cz>
Upstream libstp is no longer dependent on Boost so remove the
configure/Makefile code that adds Boost as a depdendency because We
don't need to support old versions of STP that needed Boost.
Merge pull request #174 from delcypher/allow_stp_installed_in_root

Allow stp installed in root
Merge remote-tracking branch 'upstream/master'
Implement the :named abbreviation mode for the SMT-LIB printer