change the standard wrapping procedure (to gzipped file) s.t. the incredibly slow gzip module isn't used

[benmaier]

possibly to something like this http://www.code-corner.de/?p=153

[benmaier]

now the standard usage is that python starts a subprocess unwrapping the gzip file then loading the unwrapped