Update test-suite Makefile to handle coq-prog-args

If files in the test-suite have `(* -*- ... coq-prog-args: (<args>) ... -*- *)`, the test-suite will notice, and pass the arguments along to Coq, after stripping out `"-emacs"` and `"-emacs-U"`.  The arguments, if any, are displayed in parentheses next to the file name.