readtitle.py - reads <title> tags from HTML pages