Rename Arch GNU/Linux -> Arch Linux

Hi guys,

i respect the one, who writes GNU/Linux all the time, but in fact Arch Linux is not called Arch GNU/Linux.

You can either read the 1st sentence on the Arch-Website
https://www.archlinux.org/

or The Arch-Trademark-Policy
https://wiki.archlinux.org/index.php/DeveloperWiki:TrademarkPolicy