Código AWK el cuál obtiene el promedio de los exitos guardados en Promedios.puddi