Vagrantfile: forward ssh agent, better naming