Do auto redirect for old getting started page (#9135)

The new page name (getting-started.html) is strictly better than the old
one (getting-started-setup.html)

Let's make a redirect so that we don't force users to make an
unnecessary click.

Test Plan: 


https://docs-preview.pytorch.org/pytorch/executorch/9135/getting-started-setup.html