Improve archlinux note on INSTALL.md