An extended Pickler for Python