Generate vppinfra/config.h from config.in script (same as we do for vlib/config.h)