Updated call for install_github

Current command indicates that specifying user and repo separately is deprecated; should be 'user/repo'.