Use sshfs in preference to nfs for vagrant file sharing