Public C interface is now copied into include/stp by build system.
This fixes the problem where doing an out of souce build where
include/stp/c_interface.h would not be present.
Merge pull request #49 from delcypher/include_in_binary_dir

Public C interface is now copied into include/stp by build system.
Fixing messages and defines related to build type
Fixing static library build. It should work for both WIN&Linux&OS X

But was only tested on Linux. In case there are problems, please open an
issue, or try to fix it directly in MergeStaticLibraries.cmake or if
hard-coding of paths is needed, in PosixMergeStaticLibraries.cmake.in.
Fixing build for Travis Ci
Fixing location of AST in include_directories() commands

They were all relative to the current source dir but that's not a good idea,
it should be relative to the source dir
Forgot to add dependency to build 'globalstp'

ASTKind header is needed for Globals.cpp to compile
Fix build of stp binary when doing out of source build.
Reordering constructors so it no longer warns with -Wreorder

It makes the warnings much easier to read
Adding parenthesis for easier read and less warnings
ASTKind.h is in the BINARY_DIR, so add that to the includes

This was actually a bug before, but didn't show up
Forgot a closing bracket from a cmake file
Was passing the uninitialized value into the constructor

This was quite a serious one, though probably it was never called
otherwise it would most certainly have segfaulted
GetValueWidth() returns a uint, we store it in const -- make it uint

It was an int, which made no sense since it was const, so can't be
changed/decremented anyway. In this case C++11's 'const auto' would have
done the right thing.
Removing commented-out lines in cmake files
Only used in positive domain, so make it size_t, as it should be

For loop variable was int, not size_t. It's incremental for loop, and
vars are not decremented (or incremented) anywhere in the loop
Fixing unsigned/signed mixup. Variables only used as indexes, so it's OK
Removing unused default parameter
Fix building libstp.a
- Add libAST
- Add static boost libraries
- Fixed libsat
Add command to copy (maybe symbolic link would be better?)
libstp.a to lib/libstp.a which where clients (like KLEE)
expect the library to reside.