Better Git version handling

  * Check if modified sources are present, and add -Modified to the version.
  * ignore version* generated files into .gitignore