gztool. extract random-positioned data from gzip files with no penalty, including gzip tailing like with 'tail -f' !