Documentation and examples for an introductory workshop about Boost