Fix build of stp binary when doing out of source build.
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.
Merge branch 'fix_build' of git://github.com/delcypher/stp into delcypher-fix_build

Conflicts:
	CMakeLists.txt
Fixing problem of not linking boost with the stp binary