[Makefile] export WP cache-related Makefile variables to commands See merge request frama-c/frama-c!3895