One purpose Python script to format text/plain table to HTML