WikiRename: add the possibility to leave a redirection page for pointing to the renamed page.
This is admittedly a poor way to fix dangling links, but perhaps the most effective one in the current state, as it's not really possible for now to go back to all the wiki texts that may contain a link to the old page and update them.
