port html.builder module to python3