Convert led/timer_server example to Waf.