Add Boost docset. May be useless...