Use short names in json exports

Replaces 'speed' by 's' in json dumps to makes the export files
smaller