Fix some typos in the workbench crash course.
Merge pull request #136 from MatthieuDartiailh/workbench-course-fixes

Fix some typos in the workbench crash course.