Automatically rerun tools/configure if it is newer than Makefile.