gxtxt - A GZip compressed text file format