Python interface to PHP's Session data format