A DokuWiki pagemove plugin