[ok03] Lesson 3 OK03

Refactor the code from lesson 2 so that it uses functions and procedure
calls. The gpio.s is a library to help use the Raspberry Pi GPIO
controller. The main.s source uses gpio.s to turn the OK LED on and off,
much like in lesson 2.