Store USE_DLMALLOC in vppinfra/config.h