Provide more precision in date for format string
Add mysqlshow.py, a non-ascii-art version of mysqlshow