Is there a way to download and include just a header from Boost?