rename users to devs; add separate vagrant config; add separate github sshd config