led/user-button-mizar32.l: example to demonstrate user buttons