Deleting source-included boost, using installed boost instead

The source-included boost was quite a bit of a problem. This diff
removes that and makes use of the user-included boost

Note that _only_ boost::noncopyable seems to be used, so if we wish to
do our own main.cpp options parsing (which is the state now), we can
remove boost without much further ado