Arreglado en parte

Parece ser que con los cambios que he hecho (descartar el linefeed y
analizar si el archivo acaba a la vez que extraigo una nueva linea) he
arreglado el problema de insertar saltos de línea causado por
actualizar().
Sigue habiendo algún fallo en registrar_nueva_ejecucion()