Updated DigitalPin and raspi_button example.