Add file modification history file

[haszi]

Add file modification history file that contains the last modification date/time and the list of contributors for every file, and is used for this feature. The file also contains the commit hash of the last commit this file is based on.

This file was generated with this script but one contributor's name had to be changed as it contained a double quote which was manually replaced by \".

Edit: I replaced the escaped double-quotes (\") with its HTML entity equivalent (&qout;) as this is easier to work with in the update script and needs no special handling later.