Format Change: BSON

This is the last revision with support for JSON-based recorded sessions. If you have old recorded sessions in JSON format, you will need this tag to play them back with the replay tool. Going forward, the format of the output files will be BSON.