A change proposed by Stephen McCamant to remove dependency on boost library

Now CryptoMiniSat 2 only needs the boost pool headers to compile. This
significantly reduces the dependency need as there are now only 2 things
left:

1) boost noncopyable
2) STP executable command line parsing

Where (1) is trivial to remove, and (2) is not needed for library
usage.