Convert led/timeout_event example to Waf.