Add installation manuals for ArchLinux

With this done, the ArchLinux section is at the same state as in the
past so there is nothing more to do.