encodings.py: Include date, Python version, host

The HTML page includes this information in a remark before the tables
of generated output.