Makefile.pregenerate: echo messages to stderr.

This is called from utils/generate-makefile.sh where stdout is written
to a newly generated makefile, so it must not be polluted.