Install boostdep into dist/bin to match other tools
Merge branch 'develop'