Convert led/msg_server example to Waf.