Fixed erroneous old assumption that the pickled files should be compressed. Also updated the documentation.