html.py: import re module

Bugfix for last commit.