fix: unwanted changes in gitfan.lib

some changes in gitfan.lib were commited that were performance hacks
for computing the specific example of the GIT-Fan of M06
this gitfan.lib corresponds to the version in commit
  380a17b65f64c61a20280cc21d4db54c3412f165
with the minor change
-version="version gitfan.lib 4.0.0.0 Jun_2013 ";
+version="version gitfan.lib 4.0.0.0 Jun_2013 "; // $Id$
which was done in commit
  36869371ac9c1b61f069fc927adc41fbef647bc4
Merge pull request #452 from YueRen/spielwiese

fix: unwanted changes in gitfan.lib