La revolución de los claveles, el fin de la dictadura militar en Portugal