Item12952: finish tools/configure script; move common functionality out of the ConfigurePlugin and into the core.