Python tool for replacing dead links in html docs with the new addresses