Move vagrant directory

Merged Matija Čupić requested to merge move-vagrant-dir into master

Moves the vagrant build directory to ./vagrant instead of ./docker to avoid any confusion.