Convert led/sem_server example to Waf.