¿Qué es un archivo Makefile y cómo funciona dentro de Linux?