Small changes to Vagrantfile provisioning

Added an alias dl for last docker container id
Added vagrant user to docker group to avoid need for sudo
Display docker version