Merge branch 'kikislater-patch2' into 'develop'

Add Archlinux installation documentation

See merge request !485
2 jobs for develop in 4 minutes and 40 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Precheck
passed fast-build #3485

00:04:40

 
  External
passed cdash:ubuntu-18.04-fast