Implement options to select between Sphinx search and Google search#3162

malfet merged 5 commits intomainpytorch/tutorials:mainfrom

fix-pgspytorch/tutorials:fix-pgsCopy head branch name to clipboard