Implement BOOLEXTRACT, and rename all instances of BVGETBIT to BOOLEXTRACT as well (since they are the same).
Add test cases for BOOLEXTRACT.
Implement BVZX case in Simplifier (so that using BVZX will not fail with an exception).
Add BVZX to CVC parser and refactor SMT1/2 parsers to use BVZX.
Updated simple example's README to use markdown and hopefully
slightly clearer.
Slighltly improved comments in example code.
Fixed mistake in libstp install location (not sure how it worked before)
and added comment that
CMAKE_ARCHIVE_OUTPUT_DIRECTORY and CMAKE_LIBRARY_OUTPUT_DIRECTORY
are build locations **not** install locations.
Merge pull request #63 from delcypher/simple_example_doc_fix

Simple example doc fix
Merge pull request #65 from delcypher/fix_lib_install_path

Fixed mistake in libstp install location (not sure how it worked before)
Merge pull request #31 from khooyp/implement-bvzx-simplifier

Implement BVZX case in Simplifier (so that using BVZX will not fail with an exception).
Merge pull request #23 from khooyp/implement-boolextract

Implement BOOLEXTRACT, and rename all instances of BVGETBIT to BOOLEXTRACT as well (since they are the same).
Fix wrong include guard.

... thanks to clang's -Wheader-guard
Merge pull request #67 from Sjlver/master

Fix wrong include guard.
Adding -Wheader-guard to CMakeLists.txt

Thanks to Sjlver for the idea. Related to issue #67
Fix PDF links
Merge pull request #69 from willglynn/patch-1

Fix PDF and bib links in README
Removed the disgusting MERGE_STATIC_LIBRARIES and all uses of it.

Now when libstp is built the boost-library will not be merged in to
it. CMake clients of libstp

* the stp executable
* Any CMake project that imports our targets

will automatically know which Boost libraries to link in.

Clients of libstp (e.g. KLEE )who do not use CMake will now have to link
in the right Boost libraries manually to their application
Merge pull request #70 from stp/remove_merge_static_libs

Removed the disgusting MERGE_STATIC_LIBRARIES and all uses of it.
Fix bashisms.

These were found by running checkbashisms on all shell scripts in the
project.
Merge pull request #71 from Sjlver/master

Fix bashisms.