Added .gz extension to all recording filenames

Recordings are now read/written as .json.gz files