Moves tools/redir-gen from website to docs so we can do all the generation here. Modifies the build script to add generated redirects to the output.
Julian Friedman