make_makefiles: Merged the make_progs script into make_makefiles.