Support older RPM versions

Older RPM versions (e.g. the one in CentOS 5) don't support HTTP
redirects and the URL used to download the vagrant RPM leads to an HTTP
redirect. Therefore we use the same approach used for installing debian
packages - first download the package using wget and then install it via
the package manager.