Add format=pickle

We could speed up the pickle output quite a bit by constructing the
stream by hand instead of using og-rek.  However, at the moment it's
about the same speed as JSON output, and not a bottleneck.