Added Vagrantfile.dist which contains sensible settings for Vagrant for linux.