Use Arch Linux Vagrant box

Can't test `ping` because of a Vagrant bug
<https://github.com/mitchellh/vagrant/issues/4288> (closed but it seems not
yet fixed).

<https://github.com/terrywang/vagrantboxes/blob/master/archlinux-x86_64.md>
via <https://wiki.archlinux.org/index.php/Vagrant#Base_Boxes_for_Vagrant>.