More complete documentation on how to get boost 1.54