Convert led/event_server example to Waf.