Raspberry Pi GPIO as a servlet