A modification of the very useful SimpleHTTPServer python script to add gzip compression.