python-html5lib add repo