Replacing HTMLTidy with BeautifulSoup.prettify