Reading pushbutton statuses with digital inputs and the mraa library