updated the various READMEs to show the correspondence between the original names of the various deadlock programs and the ones used in the ICSE-Poster-2014 submission for brevity