add time option to del-mail.py