Add a TODO about coq-prog-args