Update ArchLinux

Signed-off-by: Nicolas Iooss <nicolas.iooss_git@polytechnique.org>
Install Ninja IDE in Arch Desktop

Signed-off-by: Nicolas Iooss <nicolas.iooss_git@polytechnique.org>