Basic Gertduino code - Pushbuttons