fix the clang problem when building coq

The problem is with the option -fno-defer-pop, which is understood
by gcc but not by clang.

A few other problems are fixed, too, notably with sed in the
script "configure", and with the script not stopping on errors.