How to install vagrant on Debian 9 (Stretch)