Modificado el fichero enciende_leds para añadir un proceso
que controle un LED de 7-segmentos, incrementando en 1
con una frecuencia de 1 Hz.