wrlib: generate automatically the list of symbols to keep from the API header