readAndBranchLogs.record should now be in sync with jalangi_trace1 during browser recording.
Merge remote-tracking branch 'origin/master'