#makevember 25 raspberry pi zero with a button using a dt overlay (using http://blog.gegg.us/2017/01/setting-up-a-gpio-button-keyboard-on-a-raspberry-pi/… )