lib.py: add window_title()