mathieu stumpf guntz Add .gitignore file to ignore generated files