Demo of Raspberry Pi GPIO using web.py