Flüge in Edinburgh sind wieder in Bewegung, nachdem es ein IT-Systemproblem mit der Luftverkehrskontrolle gab.