[boost] Boost's future, one big download?