Move github_user to Vagrantfile.