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