Monumento conmemorativo de la batalla, origen del Cantar de Roldán