RFC PULL git-compile-check: add a noconf option to skip configure

I'm not sure if this is the correct solution. Maybe it would be better the conf opt included the "./configure" step so it can be replaced (e.g. "make oldconfig"). However that would break existing uses.

Comments?