Add newline at the end of header generated by generate-wait_event_types.pl