copy default Vagrantfile (beware!), addtime tool