Add another test case
Update test-suite Makefile to handle coq-prog-args