Really quick implementation of header compression in python 3.3's nntplib.