Implementing name-to-file (maps filename -> git modification time, given a commit list). Continues #3