Changes the storage format for results from Python literals to JSON.

[alvestrand]

This speeds up result parsing considerably, as well as using a more standard format for storage - important when one shares results.

Also moves a requirement on enoding time due to testing on a slow computer.

[phoglund]

lgtm