Fast and robust date extraction from web pages, with Python or on the command-line