Install boostdep into dist/bin to match other tools