Linuxjätten drar ner med nästan 800 anställda