Replacing 'workshop' with 'boot camp' in several places.

This patch makes terminology more consistent by replacing the word 'workshop' with the word 'boot camp' in most places: most rather than all, because there are places where we say, "A boot camp is a two-day workshop" (or something like that).