Set BUILD_SHARED_LIBS to ON by default. The ALSO_BUILD_STATIC_LIB
is set to on by default so clients who expect a static library
(which is almost everyone because support for building a shared
library was only added recently) still have it available by default.
Add USE_STP_SHARED_LIBRARY option to the simple example so the
user can choose which they want to build against. The motivation
for this is so that we test building against both the shared and
static library.
Teach travis to build the example project against the shared and
static library instead of just the shared library.
Teach travis to run the built example projects.
Register an error handler in the simple example so that any failure
will give a non-zero exit code. This is to aid testing under Travis.
Merge pull request #98 from delcypher/build_shared_by_default

Build shared by default
fixed typo and added dependencies paragraph to install
prototyping all libstp functions in the python bindings
rename the c api pointers
basic functionality for python bindings
return complete model with all variables
added a basic test and a little documentation
various improvements, start using unittest library
for now also ignore using vc-destroy
allow integers to be casted to bitvecvals automatically
initial operator overloading
add quick model support and the not-equal operator
slightly clean up model functionality
automatically assume 32-bit bitvectors, introduce bitvecs
accept constants up to 64 bits instead of 32 bits