Update revision field in results to the new Git identifiers (5)

- This updates the revision field on the json files (at the end of the file)
  with the Git identifiers instead of an empty value.

- Unfortunately the files are stored as a big single line, so the diff doesn't
  work properly. To visualize the diff you can use this trick:

    * Save as /usr/local/bin/fold-diff the following script (make it executable):

        #!/bin/bash
        diff -u <(sed "s/,/,\n/g" "${1}") <(sed "s/,/,\n/g" "${2}")

    * Execute git diff as:

        git difftool ${thiscommithash}~1..${thiscommithash} -y --extcmd fold-diff

- Note: Only the files that had an empty value are updated here.
  That is: the files that were renamed previously on 144097a

- The other files will be renamed and updated in other follow-up commit.

- Update via script: do_update_newempty.sh
  (generated with ./fix_move_results.py)