Implemention of PHP session deserialization.

The documentation of PHP's internal session serialization format does not provide a lot of detail. Here's what looks like a reasonable implementation of deserializing the session format. I will probably submit another PR in the next month or so with the session serialization implementation.