Move Lesson 12 to isKeyPressed

Lesson 12 now uses isKeyPressed for keyboard event handling.
This concludes the task of overhauling keyboard event handling.

Also fixed variable names that I'd missed.

Minor changes to lessons 7 and 8.