update vagrant documentation

to deal with eventual troubles while downloading the box