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