Vagrant: Better SSH port forwarding