Adding GZip compression for XML and JS serving

Helps with interface responsiveness, especially for users with large libraries and especially on high latency networks (also WiFi). Some served XML files are > 500 kB (GZipped only about 30 kB).

http://stackoverflow.com/questions/9622998/how-to-use-content-encoding-gzip-with-python-simplehttpserver