CLI test runner: don't treat Coq_result_impossible as a skip
CLI test runner: don't treat Coq_result_impossible as a skip

jscert/jsexplain,jscert/jsexplain,jscert/jsexplain,jscert/jsexplain,jscert/jsexplain