Upstream STP's libstp now depends on boost. This commit updates
the configure script to detect this by first trying to link without
boost and if that fails then trying to link libstp with boost.

This also updates the relevant Makefiles so that the klee and kleaver
executables link in STP's boost dependencies if necessary.
Fixed compilation of unittests with upstream STP (Boost dependency).
Merge pull request #99 from delcypher/feature_support_stp_with_boost

Upstream STP's libstp now depends on boost.
Translate shl overshifts into 0

The other shift operators still need to be changed
Added a test case for testing overshift behaviour of Shl and fixed
a bug in the previous commit where 32-bit width was assumed.
Fixed overshifting an expression by a constant so that we overshift to
zero. A test case was added for this.

In addition the use to vc_bvExtract()  was removed for shifting left by an
expression because we don't want/need bitmasked behaviour anymore.
Added C test case that checks that concrete and symbolic overshift
behaviour for left shift are identical.
Fixed overshift of logical right shift by symbolic so that it overshifts
to zero. Test case is included.
Fixed overshift of logical right shift by constant so that it
overshifts to zero. Test case is included.
Added C test case that checks that concrete and symbolic overshift
behaviour for logical right shift are identical.
Fixed overshift of arithmetic right shift by symbolic so that it overshifts
to zero. Test case is included.
Fixed overshift of arithmetic right shift by constant so that it
overshifts to zero. Test case is included.
Added C test case that checks that concrete and symbolic overshift
behaviour for arithmetic right shift are identical.
Remove STPBuilder::getShiftBits() which is no longer used.
Explicitly get the width of the "shift" expression rather than assuming
that is the samw width of the "expr" expression.

It probably is the same width (it defintely is in SMT-LIB but I'm not
sure about STP) but it is probably better to be explicit.
Merge pull request #64 from delcypher/overshift-fix

Overshift fixes
Fixed AliasFunction.c and AliasFunctionExit.c to work also when optimizations are enabled.
Improved help message for make-concrete-symbolic and fixed some typos.
Improved DumpStatesOnHalt.c to make sure there is always more than one instruction in main().