Add `generate_redirects` function to generate HTML redirects of Documenter sites#76

mortenpi wants to merge 4 commits intomasterJuliaDocs/DocumenterTools.jl:masterfrom

mp/redirectsJuliaDocs/DocumenterTools.jl:mp/redirectsCopy head branch name to clipboard