Python pickle format support for php